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.

    subverso0bd508e

  2. Git dependency.
    Found on Reservoir.

    versov4.31.0

    Lean documentation authoring tool