issues
search
leanprover
/
doc-gen4
Document Generator for Lean 4
Apache License 2.0
62
stars
41
forks
source link
feat: docs below names
#162
Closed
hargoniX
closed
9 months ago
hargoniX
commented
9 months ago
Closes #161
Closes #161