#proof
R
Rocql
pleiad
Explore Rocq/Coq proof developments as an interactive dependency graph, with go-to-definition, find-references and live rebuild on save.
Programming Languages
Visualization
#keybindings
7
Hexarch
Hexarch
Execution becomes a verifiable artifact. Same input produces the same output, the same hash, and the same proof—anchored for independent verification.
Other
#deterministic
2