Read news on Lean with our app.
Read more in the app
How to (actually) prove it – New Frontiers of Mathematics and Computing in Lean
