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
update README
#40
Closed
affeldt-aist
closed
5 months ago
affeldt-aist
commented
5 months ago
@yoshihiro503
@yoshihiro503