All Questions
Tagged with mathematics verification
1
question
0
votes
0
answers
53
views
Correcting formally verified results
John Harrison spoke once about checking the results of some peer reviewed mathematical research: he has found bugs in the proofs and even a faulty theorem, which he corrected by giving a formal proof.
...