issues
search
leanprover
/
doc-gen4
Document Generator for Lean 4
Apache License 2.0
62
stars
41
forks
source link
Revert "fix: escape html correctly"
#191
Closed
hargoniX
closed
2 months ago
hargoniX
commented
2 months ago
Reverts leanprover/doc-gen4#190
Reverts leanprover/doc-gen4#190