Read news on Lean 4 with our app.
Read more in the app
I built the RealWorld app in Lean 4
From Zero to QED: An informal introduction to formality with Lean 4
Team claims to have Lean 4 proof that P≠NP
