Learn — Lean Lang
lean-lang.org · 473 words · saved by 2 readers
Lean is an open-source programming language and proof assistant that enables correct, maintainable, and formally verified code.
Learn Lean Lean is a functional programming language and theorem prover built for formalizing math and for formal verification, but is flexible enough for general coding. If you’re a beginner, we recommend the Natural Number Game. If you feel ready to dive deeper, there are great textbooks, tutorials and interactive games to be found on this page. API ReferenceInstallCore Docs Core documentation🔗 Further reading🔗 Mathlib API Reference Includes reference information for Lean core, the Lean standard library, Mathlib, and other critical Lean packages. The Hitchhiker's Guide to Logical…
saved by
related reading
- Lean (proof assistant) - Wikipediaen.wikipedia.org
- Lean Game Serveradam.math.hhu.de
- 3. Logic - Mathematics in Lean v4.19.0 documentationleanprover-community.github.io
- 4. Sets and Functions - Mathematics in Lean v4.19.0 documentationleanprover-community.github.io
- A Lean Syntax Primer — overreactedoverreacted.io
- A slightly longer Lean 4 proof tour | What's newterrytao.wordpress.com
- Formalizing Fermat's Last Theoremanthropic.com
- FLT: Anthropic has beaten me to itxenaproject.wordpress.com
- 2510.01346arxiv.org
- lf-lean: The frontier of verified software engineering | Theoremtheorem.dev
- Lean Software Scaling Laws · Gwern.netgwern.net
- When AI Writes the World's Software, Who Verifies It? — Leonardo de Mouraleodemoura.github.io