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

Reverse Dependencies

Reverse dependancies are sometimes conditional based on your USE flags, Ebuild version and sometimes other packages. please keep this in mind.