gentoo.mahdi.cz

  

sci-mathematics:lean


The Lean Theorem Prover
https://leanprover-community.github.io/

lean-4.2.0Apache-2.0
downloadamd64 ~x86gentoo
lean-4.0.9999Apache-2.0
download~amd64 ~x86zerodaysfordays
lean-3.51.1Apache-2.0
downloadamd64 ~x86gentoo