lean 3.41.0 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.
- Sitio web: https://github.com/leanprover-community/lean
- Licencia: ASL 2.0
- Fuentes del paquete: lean.scm
- Parches: No hay
- Construcciones: x86_64-linux, aarch64-linux, powerpc64le-linux, i686-linux, armhf-linux, i586-gnu