coq2html

GPL-2.0OCamlv1.4

An HTML documentation generator for Coq source files with proof script folding capabilities.

31 stars11 forks0 contributors

Overview

An HTML documentation generator for Coq source files

Community-curated · Updated weekly · 100% open source

Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.

9 days ago

CreatedSince 2017

Auto-fetched 12 hours ago

Sail architecture definition language

Cosette is an automated SQL solver.

The Ott tool for writing definitions of programming languages and calculi

Formal verification for OCaml, with Rocq