Lean Programming Language
1 like
Lean is an open-source programming language and proof assistant that enables correct, maintainable, and formally verified code.
Features
- Extensible by Plugins/Extensions
Lean Programming Language News & Activities
Highlights All activities
Recent activities
POX added Lean Programming Language as alternative to Rocq Prover, Isabelle, Agda and Lean Prover- POX added Lean Programming Language
Lean Programming Language information
Developed by
Lean FRO Licensing
Open Source (Apache-2.0) and Free product.Alternatives
3 alternatives listedSupported Languages
- English
AlternativeTo Category
DevelopmentGitHub repository
- 8,410 Stars
- 891 Forks
- 1521 Open Issues
- Updated
No comments or reviews, maybe you want to be first?
What is Lean Programming Language?
Lean is an open-source programming language and proof assistant that enables correct, maintainable, and formally verified code.
- Trustworthy: Lean's minimal trusted kernel guarantees absolute correctness in mathematical proof, software and hardware verification.
- Powerful: From elementary concepts to cutting-edge research, Lean's expressive language and extensive built-in tools let users focus on the big picture rather than routine details.
- Extensible: Lean's metaprogramming capabilities enable users to extend the language with domain-specific notations and new proof automation techniques.
Lean lets you write precise, verifiable code and formal proofs. Whether you are new or experienced, now is a great time to start.