TY  - RPRT
TI  - Growing an Agent/Prover Interface: Evolutionary Tool Design for Cost-Efficient Theorem Proving in Rocq and Lean
AU  - Jules Viennot
AU  - Guillaume Baudart
AU  - Marc Lelarge
PY  - 2026
UR  - https://arxiv.org/abs/2609.39544
ID  - 2609.39544
ER  -