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.29.0-rc6The Lean reference manual