Language

Package: lean @ 3.23.0

Synopsis

Theorem prover and programming language

Description

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.

Home page
https://github.com/leanprover-community/lean
Location
gnu/packages/lean.scm (line: 29, column: 2)
License

Lint warnings

LinterMessageLocation
tests-true

Check if tests are explicitly enabled

#:tests? must not be explicitly set to #t