issues
search
leanprover
/
doc-gen4
Document Generator for Lean 4
Apache License 2.0
62
stars
41
forks
source link
feat: add favicon
#185
Closed
Komyyy
closed
3 months ago
Komyyy
commented
3 months ago
This PR adds the favicon as doc-gen3.
This PR adds the favicon as doc-gen3.