Awesome Lists

coq2html

by xavierleroy

OCamlpushed about 2 years ago

An HTML documentation generator for Coq source files

AI summary

Documentation generator

Generates HTML documentation from Coq source files by folding proof scripts and producing auxiliary CSS and JavaScript files

stars
30
forks
11
watching
4
awesome list
1
View on GitHub

Embed the badge

Show how many awesome lists link to your project. The count updates automatically.

Awesome Lists badge
Markdown
[![Awesome Lists Badge](https://awesome.facts.dev/shield/xavierleroy/coq2html/links.svg)](https://awesome.facts.dev/awesome/xavierleroy/coq2html)
HTML
<a href="https://awesome.facts.dev/awesome/xavierleroy/coq2html"><img src="https://awesome.facts.dev/shield/xavierleroy/coq2html/links.svg" alt="Awesome Lists Badge" /></a>
Image URL
https://awesome.facts.dev/shield/xavierleroy/coq2html/links.svg

Add a GitHub project

Missing a project or an awesome list? Paste its GitHub URL and we fetch it right away.