Description
Lean is at the same time a modern interactive theorem prover/proof assistant for higher-order intuitionistic logic and a dependently typed purely functional programming language.
This is the 3.x branch of Lean which is now officially end-of-life. It is nonetheless packaged since the 4.x branch is still under development and not yet public.
For the community-maintained fork, see mgrabovs/lean3-community.
Installation Instructions
Upon enabling the Copr repository, Lean 3 can be installed as usual via dnf:
# dnf copr enable mgrabovs/lean3
# dnf install lean3
Active Releases
The following unofficial repositories are provided as-is by owner of this project. Contact the owner directly for bugs or issues (IE: not bugzilla).
| Release | Architectures | Repo Download |
|---|---|---|
Fedora 39
|
x86_64 (16)* | Fedora 39 (0 downloads) |
|
Fedora 40
|
x86_64 (4)* | Fedora 40 (23 downloads) |
|
Fedora 41
|
x86_64 (0)* | Fedora 41 (8 downloads) |
|
Fedora rawhide
|
x86_64 (18)* | Fedora rawhide (129 downloads) |
* Total number of downloaded packages.
Quick Enable
#> dnf copr enable mgrabovs/lean3
More info about enabling Copr repositories