Cite
Notes
Only stored in your browser.
Attribution
Formally Solving Answer-Construction Problems in Lean
arXiv 2025
from 1 papers
Ao Li
Chris J. Maddison
Jialiang Sun
Yuzhi Tang