Wire the Rocq backend into the proof agent - #7

Draft

dingf3ng wants to merge 8 commits into

NUS-Program-Verification:mainfrom

dingf3ng:contrib/rocq-wired

Commits on Aug 21, 2026

feat: define typed prover backend API
dingf3ng
committed
877b774
build: update vendored CoqPyt to 1.1.0
dingf3ng
committed
b6216fb
feat: add Rocq prover backend
dingf3ng
committed
12becef

Commits on Aug 24, 2026