TY  - RPRT
TI  - Putnam 2025 Problems in Rocq using Opus 4.6 and Rocq-MCP
AU  - Guillaume Baudart
AU  - Marc Lelarge
AU  - Tristan Stérin
AU  - Jules Viennot
PY  - 2026
UR  - https://arxiv.org/abs/2603.20405
ID  - 2603.20405
ER  -