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
3094dd5The Lean reference manual