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
- Licenses: ASL 2.0
- Package source: gnu/packages/lean.scm
- Builds: See build status
- Issues: See known issues
lean 3.41.0 as follows:
guix install firstname.lastname@example.org
Or install the latest version:
guix install lean
You can also install packages in augmented, pure or containerized environments for development or simply to try them out without polluting your user profile. See the
guix shell documentation for more information.