Comment by 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.

0 comments