Gentoo Portage Overlays - sci-mathematics/lean

Newest News Repository news GLSAs Browse USE Flags Overlays More...

sci-mathematics/lean

The Lean Theorem Prover

Screenshots

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

lean-4.11.0

~amd64

debug source

View

Download

Browse License: Apache-2.0

Overlay: gentoo

lean-4.10.0

amd64 ~x86

debug source

View

Download

Browse License: Apache-2.0

Overlay: zscheile

lean-4.2.0

amd64

debug source

View

Download

Browse License: Apache-2.0

Overlay: gentoo

lean-3.51.1

amd64 ~x86

debug +threads

View

Download

Browse License: Apache-2.0

Overlay: gentoo

ChangeLog USE Flags Dependencies Reverse Deps Related Bugs

Runtime Dependencies

lean-4.11.0

lean-4.10.0

lean-4.2.0

lean-3.51.1