Gentoo Packages

Gentoo Packages > zerodaysfordays > Categories > sci-mathematics

Category: sci-mathematics

Search

lean - Ebuilds: 1, Testing: 4.0.9999
Description: The Lean Theorem Prover
Homepage: https://leanprover-community.github.io/

Help & Legend | Generated by g2 0.0.33
Date: 2026-03-28 09:01:38 UTC