HAL (France)open access
Putnam 2025 Problems in Rocq using Opus 4.6 and Rocq-MCP
Agent, MCP, Rocq, Putnam 2025, 1, LLM, 0
This document is indexed with metadata only — full text is not available in the archive for this record.
Open the official source ↗
Record · ID 1079539
Retrieved via
Conceptio — every document is proof-bundled with source, license, and retrieval metadata.