Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status

sci-mathematics/
lean

The Lean Theorem Prover

https://leanprover-community.github.io/

Available Versions

Version amd64 x86 alpha arm arm64 hppa ia64 ppc ppc64 riscv sparc
3.9999 : 0 amd64 x86 alpha arm arm64 hppa ia64 ppc ppc64 riscv sparc
3.43.0 : 0 ~amd64 ~x86 alpha arm arm64 hppa ia64 ppc ppc64 riscv sparc
3.42.1 : 0 ~amd64 ~x86 alpha arm arm64 hppa ia64 ppc ppc64 riscv sparc
3.42.0 : 0 ~amd64 ~x86 alpha arm arm64 hppa ia64 ppc ppc64 riscv sparc
3.39.1 : 0 amd64 ~x86 alpha arm arm64 hppa ia64 ppc ppc64 riscv sparc

Package Metadata