search

leanprover / verso

Lean documentation authoring tool
Apache License 2.0
125 stars 14 forks source link

fix: section numbering and table of contents for single-page HTML #214

Closed david-christiansen closed 1 month ago