lean 3.17.1 The Lean theorem prover and programming language
Lean is a theorem prover and programming language with a small trusted core based on dependent typed theory, aiming to bridge the gap between interactive and automated theorem proving.
- Website: https://github.com/leanprover-community/lean
- License: ASL 2.0
- Package source: lean.scm
- Patches: None
- Builds: x86_64-linux, i686-linux