| ▲ | num42 8 hours ago | |
I think it would be better for the proof to go through the peer-review process. | ||
| ▲ | margorczynski 7 hours ago | parent | next [-] | |
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 8 hours ago | parent | prev [-] | |
Can't scoop it if you do that! | ||