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.10.0

amd64 ~x86

debug source

View

Download

Browse License: Apache-2.0

Overlay: zscheile

ChangeLog USE Flags Dependencies Reverse Deps Related Bugs