Gentoo Portage Overlays - sci-mathematics/lean

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

ChangeLog

commit a0bc2f6934dd94464743f18f0eb83eeb7964061f
Author: Alain Emilia Anna Zscheile <fogti+devel@ytrizja.de>
Date: Tue Aug 6 18:19:39 2024 +0200

sci-mathematics/lean: new package, add 4.10.0