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

USE Flags

debug
Global: Enable extra debug codepaths, like asserts and extra output. If you want to get meaningful backtraces see http://www.gentoo.org/proj/en/qa/backtraces.xml
source
Global: Zip the sources and install them