gentoo.mahdi.cz
sci-mathematics
:lean
The Lean Theorem Prover
https://leanprover-community.github.io/
lean-4.2.0
Apache-2.0
download
amd64 ~x86
gentoo
lean-4.0.9999
Apache-2.0
download
~amd64 ~x86
zerodaysfordays
lean-3.51.1
Apache-2.0
download
amd64 ~x86
gentoo