Read news on Lean theorem prover with our app.
Read more in the app
Project to formalise a proof of Fermat’s Last Theorem in the Lean theorem prover