Rocqnavi

GPL-2.0HTMLrocqnavi.0.5.0

An HTML documentation generator for Rocq source files with proof folding, cross-referencing, and Markdown support.

4 stars4 forks0 contributors

Overview

An HTML documentation generator for Rocq 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.

5 days ago

CreatedSince 2023

Auto-fetched 4 days 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