Notice: Undefined variable: name in /srv/http/vhosts/ on line 248

Package Details: lean-bin

Git Clone URL: (read-only)
Package Base: lean-bin
Description: Lean Theorem Prover
Upstream URL:
Licenses: Apache
Conflicts: lean-git
Submitter: namanbharadwaj
Maintainer: mgrabovsky
Last Packager: mgrabovsky
Votes: 1
Popularity: 0.002798
First Submitted: 2015-02-13 23:32
Last Updated: 2016-11-28 20:22

Latest Comments

mgrabovsky commented on 2016-11-28 20:24

Thank you, dknn. I've now updated the package. It's difficult to keep up with the changes on Launchpad.

dknn commented on 2016-11-22 17:59

The links appear to be broken. Can be fixed with


and adapting the hash sum consequently.

kha commented on 2015-03-29 19:42

Additional dependency for lean-mode (I think): community/ninja -