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
  • lean-4.10.0
    amd64 ~x86
    debug source

    View      Download      Browse     License: Apache-2.0   
    Overlay: zscheile
  • lean-3.51.1
    amd64 ~x86
    debug +threads

    View      Download      Browse     License: Apache-2.0   
    Overlay: gentoo

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