Read news on formality with our app.
Read more in the app
From Zero to QED: An informal introduction to formality with Lean 4
