Citazione Stile APA (7a Edizione)

Baudart, G., Lelarge, M., Stérin, T., & Viennot, J. (2026). Putnam 2025 Problems in Rocq using Opus 4.6 and Rocq-MCP.

Citazione stile Chigago Style (17a edizione)

Baudart, Guillaume, Marc Lelarge, Tristan Stérin, e Jules Viennot. Putnam 2025 Problems in Rocq Using Opus 4.6 and Rocq-MCP. 2026.

Citatione MLA (9a ed.)

Baudart, Guillaume, et al. Putnam 2025 Problems in Rocq Using Opus 4.6 and Rocq-MCP. 2026.