Lean is a theorem prover and programming language that enables correct, maintainable, and formally verified code.| Lean Language
What is the type of 2 + 2 = 4?| overreacted.io
Breakthrough models AlphaProof and AlphaGeometry 2 solve advanced reasoning problems in mathematics| Google DeepMind
