Cite
Notes
Only stored in your browser.
Attribution
MiniF2F in Rocq: Automatic Translation Between Proof Assistants -- A Case Study
arXiv 2025
from 1 papers
Emilio Jesùs Gallego Arias
Guillaume Baudart
Marc Lelarge