GitHub repository: xavierleroy/coq2html
Primary language: OCaml
Created: 2017-07-07T11:59:55Z
Description: An HTML documentation generator for Coq source files