Lean
Software for interactive and automated theorem proving
Also known as Lean prover
- Developer
- Founded
- 2013
- Released
- 2013
- Latest version
- 4.34.1
1
Sources- 1.“Release 4.34.1”github.com/leanprover/lean4/releases/tag/v4.34.1Retrieved 2026-09-25
- , 3.0.0
1
Sources- 1.“Release 3.0.0”github.com/leanprover/lean/releases/tag/v3.0.0Retrieved 2018-03-14
- , 3.1.0
1
Sources- 1.“Release 3.1.0”github.com/leanprover/lean/releases/tag/v3.1.0Retrieved 2018-03-14
- +51 more
- 4.34.1
- License
- Operating system
- Website
Overview
All data
99 statements · 60% with external sources · numbers in brackets are citations
- Awards
- Programming Languages Software Award(2025)
1
Sources- 1.“Programming Languages Software Award”sigplan.org/Awards/Software/#2025_Lean_Theorem_ProverRetrieved 2026-01-02
- Programming Languages Software Award(2025)
On other databases
10 identifiers linking Lean across the web's reference databases