interactive and automated theorem prover
Project homepage: https://leanprover-community.github.io
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
Ports list build and test dependencies as well as runtime dependencies. pkg_add selects those needed for installation.