ccyip / coqdocjs Goto Github PK
View Code? Open in Web Editor NEWThis project forked from coq-community/coqdocjs
Collection of scripts to improve the output of coqdoc [maintainers=@chdoc,@palmskog]
Home Page: https://www.ps.uni-saarland.de/~ttebbi/coqdocjs/
License: BSD 2-Clause "Simplified" License