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