Home

The math/lean port

lean-3.48.0p0 – interactive and automated theorem prover (cvsweb github mirror)

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

Maintainer

Theo Buehler

Only for arches

aarch64 alpha amd64 arm hppa i386 mips64 mips64el powerpc powerpc64 riscv64 sparc64

Categories

lang lang/python math

Library dependencies

Build dependencies

Test dependencies

Files

Search