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.

    subverso52b9dfb

  2. Git dependency.
    Found on Reservoir.

    versov4.29.0-rc8

    Lean documentation authoring tool