Skip to content

Add webpage

Guillaume Claret requested to merge add-webpage into master

Add a web page to host the Coq documentation generated from the files which are compiling.

Merge request reports