Read news on Lean with our app.
Read more in the app
Project to formalise a proof of Fermat’s Last Theorem in the Lean theorem prover
How to (actually) prove it – New Frontiers of Mathematics and Computing in Lean
