3 ms·
It probably doesn't prove anything more than ∫₀¹ x dx. Also, just like there are trivial, incorrect or incomplete proofs, there can be trivial, incorrect or in
by epgui 4y ago
It probably doesn't prove anything more than ∫₀¹ x dx.
Also, just like there are trivial, incorrect or incomplete proofs, there can be trivial, incorrect or incomplete programs.