A small library that lets cli agents (e.g. codex-cli, claude code) to drive interactive rocq proofs in emacs
Latest commits.
Builders behind this project.
