Project to formalise a proof of Fermat’s Last Theorem in the Lean theorem prover

Comment

Save my name, email, and website in this browser for the next time I comment.

Δ