codeblock/lean

[coprserver (Copr user)]

The Lean theorem prover

This is broken into lean, lean-emacs, lean-devel and lean-hott subpackages.

---

This is a companion discussion topic for the original entry at https://copr-fe-dev.cloud.fedoraproject.org/coprs/codeblock/lean/