Cite
Notes
Only stored in your browser.
Attribution
MiniF2F in Rocq: Automatic Translation Between Proof Assistants -- A Case Study
arXiv 2025
from 1 papers
Guillaume Baudart
Jules Viennot
Marc Lelarge