petersen/lean4

Description

A functional programming language and theorem prover

See https://lean-lang.org/

(Note: net access is only required (used) for the epel9 build which needs to build cadical from source)

Installation Instructions

dnf install lean4

You may also want to install elan from https://copr.fedorainfracloud.org/coprs/petersen/elan/

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 9	aarch64 (42)*, ppc64le (36)*, x86_64 (23)*	EPEL 9 (43 downloads)
Fedora 38	aarch64 (41)*, ppc64le (26)*, x86_64 (40)*	Fedora 38 (0 downloads)
Fedora 39	aarch64 (51)*, ppc64le (30)*, x86_64 (44)*	Fedora 39 (39 downloads)
Fedora 40	aarch64 (29)*, ppc64le (36)*, x86_64 (74)*	Fedora 40 (39 downloads)
Fedora 41	aarch64 (29)*, ppc64le (33)*, x86_64 (60)*	Fedora 41 (12 downloads)
Fedora rawhide	aarch64 (43)*, ppc64le (32)*, x86_64 (68)*	Fedora rawhide (34 downloads)

* Total number of downloaded packages.