#1

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.fedorainfracloud.org/coprs/codeblock/lean/