12.5
Coq
and HTML
An HTML output can be obtained from
Coq
files documented using
coqweb
(see the previous paragraph). See the documentation of
coqweb
for more details.