leanproververso-manual

The Lean reference manual
Sort by
  1. Git dependency.
    Found on Reservoir.

    versolatest

    Lean documentation authoring tool
  2. Git dependency.
    Not found on Reservoir.

    illuminate20b8493

  3. Git dependency.
    Found on Reservoir.

    versowebcomponentsv4.31.0

    A collection of reusable components from the Lean website designed build related sites with the same look and feel.