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 community-maintained 3.x branch of Lean. The official 3.x branch is now end-of-life and not maintained by the original authors anymore.
Upon enabling the Copr repository, Lean 3 Community can be installed as usual via dnf:
# dnf copr enable mgrabovs/lean3-community # dnf install lean3-community
The following unofficial repositories are provided as-is by owner of this project. Contact the owner directly for bugs or issues (IE: not bugzilla).
|Epel for CentOS 8||x86_64 (0)*||Epel for CentOS 8 (7 downloads)|
|Fedora 30||x86_64 (0)*||Fedora 30 (6 downloads)|
|Fedora 31||x86_64 (0)*||Fedora 31 (8 downloads)|
|Fedora rawhide||x86_64 (0)*||Fedora rawhide (8 downloads)|
* Total number of packages downloaded in the last seven days.