Fast HTML documentation for Lean 4 packages — built for the ones standing on Mathlib
Lean Updated about 1 month ago 1 commits 3 stars
zenith-bot|Mirror: FujiHaruka/litedoc4 (⭐3)
about 1 month agoAbout
Fast HTML documentation for Lean 4 packages — built for the ones standing on Mathlib
Readme
3 stars