lean-3.48.0p2
interactive and automated theorem prover
Back to search · Project homepage
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.
Package information
- Ports path
- math/lean
- Package architecture
- amd64
- Maintainer
- Theo Buehler <tb@openbsd.org>
- Categories
- math, lang, lang/python
- Available flavors
- None listed
- Only for architectures
- aarch64, amd64, arm, i386, mips64, mips64el, powerpc, powerpc64, riscv64, sparc64, alpha, hppa
These are ports metadata. Binary availability depends on the release, architecture and mirror. Build and test dependencies are not an installation checklist.