mgrabovs/lean3

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