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.
- Webauftritt: https://github.com/leanprover-community/lean
- Lizenz: ASL 2.0
- Paketquellcode: lean.scm
- Patches: Keine
- Erstellungen: x86_64-linux, i686-linux