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.

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

Installation

Install lean 3.41.0 as follows:

guix install lean@3.41.0

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.