1 2
/usr/share/doc/coq-theories/html /usr/share/doc/coq/stdlib-html /usr/lib/coq/tools/coqdoc/coqdoc.css /usr/share/doc/coq-theories/html/coqdoc.css
Loggerhead is a web-based interface for Breezy Version: 2.0.1