Comment by num42 18 hours ago I think it would be better for the proof to go through the peer-review process. 2 comments num42 Reply margorczynski 17 hours ago If the Lean code checks out (correct statement, no axioms, sorrys, etc.) then it is a much stronger guarantee of correctness than peer review. suddenlybananas 18 hours ago Can't scoop it if you do that!
margorczynski 17 hours ago If the Lean code checks out (correct statement, no axioms, sorrys, etc.) then it is a much stronger guarantee of correctness than peer review.
If the Lean code checks out (correct statement, no axioms, sorrys, etc.) then it is a much stronger guarantee of correctness than peer review.
Can't scoop it if you do that!