search

leanprover / verso

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

fix: typo #209

Closed david-christiansen closed 1 month ago