Port details on branch 2022Q3 |
- lean Theorem prover
- 3.44.1_1 math =0 3.44.1_1Version of this port present on the latest quarterly branch.
- Maintainer: yuri@FreeBSD.org
- Port Added: 2022-09-05 17:54:06
- Last Update: 2022-09-05 17:52:20
- Commit Hash: 56e03a4
- License: APACHE20
- WWW:
- https://leanprover-community.github.io/
- Description:
- Lean is an open source theorem prover and programming language being developed
at Microsoft Research. Lean 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. The mathematical components library mathlib for Lean is being
developed at Carnegie Mellon University.
WWW: https://leanprover-community.github.io/
- ¦ ¦ ¦ ¦
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - Dependency lines:
-
- To install the port:
- cd /usr/ports/math/lean/ && make install clean
- To add the package, run one of these commands:
- pkg install math/lean
- pkg install lean
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.- PKGNAME: lean
- Flavors: there is no flavor information for this port.
- distinfo:
- TIMESTAMP = 1656441065
SHA256 (leanprover-community-lean-v3.44.1_GH0.tar.gz) = ec2ec2156b8dcfd287b6cc6d9ea75d8c8e9da2ba223e83d834c2b1fb46528bed
SIZE (leanprover-community-lean-v3.44.1_GH0.tar.gz) = 1911708
No package information for this port in our database- Sometimes this happens. Not all ports have packages.
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- cmake : devel/cmake
- ninja : devel/ninja
- Library dependencies:
-
- libgmp.so : math/gmp
- There are no ports dependent upon this port
Configuration Options:
- No options to configure
- Options name:
- math_lean
- USES:
- cmake:testing compiler:c++11-lang
- pkg-message:
- For install:
- You installed lean: The Theorem Prover.
Please note that lean requires /proc to be mounted.
The usual way to do this is to add this line to /etc/fstab:
proc /proc procfs rw 0 0
and then run this command as root:
# mount /proc
- Master Sites:
|
Number of commits found: 1
Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
Commit | Credits | Log message |
3.44.1_1 05 Sep 2022 17:52:20 |
Yuri Victorovich (yuri) |
math/lean: Fix performance problem
Pre-compiled library files weren't installed due to some bug
which made lean very slow.
(cherry picked from commit 2317424cb6092aa0430b738cd19199089dfb3bab) |
Number of commits found: 1
|