coq2html

An HTML documentation generator for Coq source files

30 stars

4 watching

11 forks

Language: OCaml

last commit: about 1 month ago

Linked from 1 awesome list

Backlinks from these awesome lists:

coq-community/awesome-coq