Cite
Notes
Only stored in your browser.
Attribution
Pantograph: A Machine-to-Machine Interaction Interface for Advanced Theorem Proving, High Level Reasoning, and Data Extraction in Lean 4
arXiv 2024
from 1 papers
Brando Miranda
Chuyue Sun
Clark Barrett
Sanmi Koyejo
professor