← Back to context Comment by num42 17 hours ago I think it would be better for the proof to go through the peer-review process. 2 comments num42 Reply margorczynski 16 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 17 hours ago Can't scoop it if you do that!
margorczynski 16 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!