mgrabovs/lean3-community

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 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.

Installation Instructions

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

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
EPEL 8	x86_64 (8)*	EPEL 8 (80 downloads)
Fedora 37	x86_64 (0)*	Fedora 37 (0 downloads)
Fedora 38	x86_64 (0)*	Fedora 38 (19 downloads)
Fedora 39	x86_64 (0)*	Fedora 39 (17 downloads)
Fedora 40	x86_64 (0)*	Fedora 40 (2 downloads)
Fedora rawhide	x86_64 (0)*	Fedora rawhide (82 downloads)

* Total number of downloaded packages.