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.