login sign up

Validating a Lean Proof

lean-lang.org
saved by
0 people
related read on
What mathematicians should know about the Lean Theorem Pr... from the discussion