2 ms·
I think it would be better for the proof to go through the peer-review process.
by num42 25d ago
I think it would be better for the proof to go through the peer-review process.
- suddenlybananas 25d agoCan't scoop it if you do that!
- margorczynski 25d agoIf the Lean code checks out (correct statement, no axioms, sorrys, etc.) then it is a much stronger guarantee of correctness than peer review.