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.
Upon enabling the Copr repository, Lean 3 can be installed as usual via dnf:
# dnf copr enable mgrabovs/lean3 # dnf install lean3
The following unofficial repositories are provided as-is by owner of this project. Contact the owner directly for bugs or issues (IE: not bugzilla).
|Fedora 35||x86_64 (8)*||Fedora 35 (0 downloads)|
|Fedora 36||x86_64 (8)*||Fedora 36 (11 downloads)|
|Fedora 37||x86_64 (8)*||Fedora 37 (4 downloads)|
|Fedora 38||x86_64 (0)*||Fedora 38 (0 downloads)|
|Fedora rawhide||x86_64 (8)*||Fedora rawhide (80 downloads)|
* Total number of packages downloaded in the last seven days.
#> dnf copr enable mgrabovs/lean3More info about enabling Copr repositories