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 shallow dive into formal verificationvitalik.eth.limo
- A Lean Syntax Primer — overreactedoverreacted.io
- Lean Software Scaling Laws · Gwern.netgwern.net
- lf-lean: The frontier of verified software engineering | Theoremtheorem.dev
- A slightly longer Lean 4 proof tour | What's newterrytao.wordpress.com
- LLM Powered Autonomous Agents | Lil'Loglilianweng.github.io
- [2602.22631] TorchLean: Formalizing Neural Networks in Leanarxiv.org
- When AI Writes the World's Software, Who Verifies It? — Leonardo de Mouraleodemoura.github.io