aa755/rocq-emacs-for-cli-agents

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

语言：Emacs Lisp · GitHub 星标：4 · Fork：0

在 GitHub 上查看原仓库