versowebcomponents
A collection of reusable components from the Lean website designed build related sites with the same look and feel.
1-1 of 1 packages depending on leanprover/versowebcomponents
Sort by
Package Name
leanprover/verso-manualuses
7a7ab22The Lean reference manual