The math/lean port
lean-3.48.0p0 – interactive and automated theorem prover
Description
Lean is an open source theorem prover and programming language. It aims
to bridge the gap between interactive and automated theorem proving, by
situating automated tools and methods in a framework that supports user
interaction and the construction of fully specified axiomatic proofs.
WWW: https://leanprover-community.github.io
- Only for arches
-
aarch64
aarch64
alpha
amd64
amd64
arm
arm
hppa
i386
i386
mips64
mips64
mips64el
mips64el
powerpc
powerpc
powerpc64
powerpc64
riscv64
riscv64
sparc64
- Categories:
-
lang
lang/python
math
Library dependencies
Build dependencies
Run dependencies