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
v4.30.0-rc2The Lean reference manual