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.32.0-rc1The Lean reference manual