gpo.zugaina.org

Search Portage & Overlays:

sci-mathematics/lean

The Lean Theorem Prover

Screenshots

  • lean-4.2.0
    amd64 ~x86
    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

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