checklist.day
Registry
MCP
Docs
About
llms.txt
rocq
JSON →
cli
9.1.1
·
ocaml
✓
install reviewed
devops
Proof assistant for higher-order logic with CLI tools. Available on Homebrew and apt.
Resources
homepage
rocq-prover.org/ ↗
API endpoints
full doc
/v1/registry/rocq
copy
install
/v1/registry/rocq/install
copy