Gentoo Portage Overlays - sci-mathematics/lean

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

sci-mathematics/lean

The Lean Theorem Prover

Screenshots

lean-4.24.0

amd64

debug source

View

Download

Browse License: Apache-2.0

Overlay: gentoo

lean-4.23.0

~amd64

debug source

View

Download

Browse License: Apache-2.0

Overlay: gentoo

lean-4.14.0-r1

amd64

debug source

View

Download

Browse License: Apache-2.0

Overlay: gentoo

ChangeLog USE Flags Dependencies Reverse Deps Related Bugs

Runtime Dependencies

lean-4.24.0

dev-libs/gmp:=
dev-libs/libuv:=
sci-mathematics/cadical

lean-4.23.0

dev-libs/gmp:=
dev-libs/libuv:=
sci-mathematics/cadical

lean-4.14.0-r1

dev-libs/gmp:=
dev-libs/libuv:=
sci-mathematics/cadical