Skip to content

coq2html 1.0
Compare
Choose a tag to compare
@xavierleroy xavierleroy released this 15 Jul 14:45
· 29 commits to master since this release
v1.0
e2b9409

This is the first public release of the standalone coq2html documentation generator for Coq.
Compatible with Coq 8.6 and perhaps with 8.5.

Assets 2
Loading