gpo.zugaina.org

Search Portage & Overlays:

sci-mathematics/lean

The Lean Theorem Prover

Screenshots

  • lean-4.14.0-r1
    amd64
    debug source

    View      Download      Browse     License: Apache-2.0   
    Overlay: gentoo
  • lean-4.11.0
    amd64
    debug source

    View      Download      Browse     License: Apache-2.0   
    Overlay: gentoo

ChangeLog

commit 77b5789ba03290422a0a6bcbc111e68ba0636a0a
Author: Jakob L. Kreuze <zerodaysfordays@sdf.org>
Date: Sat Feb 11 12:29:39 2023 -0500

Add missing manifests

commit 90338921a8c3e1a1db055fd2c4b9d3dc45336003
Author: Jakob L. Kreuze <zerodaysfordays@sdf.org>
Date: Sat Feb 11 12:29:03 2023 -0500

Add Lean 4