issues
search
affeldt-aist
/
coq2html
An HTML documentation generator for Coq source files
GNU General Public License v2.0
1
stars
3
forks
source link
Clickable Notations
#3
Closed
yoshihiro503
closed
9 months ago
yoshihiro503
commented
9 months ago
clickable notations
index of notations
style of keywords
highlight HB structures commands.
ordering of the index table