leanproverversowebcomponents

A collection of reusable components from the Lean website designed build related sites with the same look and feel.
Sort by
  1. Git dependency.
    Found on Reservoir.

    subversoce893b9

  2. Git dependency.
    Found on Reservoir.

    versov4.30.0-rc2

    Lean documentation authoring tool