Parses .v files from a Coq/Rocq project, builds a full dependency graph, and generates an interactive HTML page.
Latest commits.
Builders behind this project.
