pleiad

Explore Rocq/Coq proof developments as an interactive dependency graph, with go-to-definition, find-references and live rebuild on save.