search

leanprover / verso

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

fix: stop code block formatting from interfering with signatures #198

Closed david-christiansen closed 1 month ago