Description
The Lean theorem prover
Installation Instructions
This is broken into lean, lean-emacs, lean-devel and lean-hott subpackages.
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 |
|---|
* Total number of downloaded packages.
Quick Enable
#> dnf copr enable codeblock/lean
More info about enabling Copr repositories