petersen/lean4

Description

A functional programming language and theorem prover

See https://lean-lang.org/

Installation Instructions

dnf install lean4

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 (0)*, ppc64le (0)*, x86_64 (0)*	EPEL 9 (9 downloads)
Fedora 38	aarch64 (6)*, ppc64le (0)*, x86_64 (0)*	Fedora 38 (6 downloads)
Fedora 39	aarch64 (8)*, ppc64le (4)*, x86_64 (4)*	Fedora 39 (11 downloads)
Fedora 40	aarch64 (0)*, ppc64le (0)*, x86_64 (8)*	Fedora 40 (7 downloads)
Fedora rawhide	aarch64 (0)*, ppc64le (0)*, x86_64 (10)*	Fedora rawhide (9 downloads)

* Total number of downloaded packages.