Lean Meets Theoretical Computer Science Scalable Synthesis of Theorem Proving Challenges in Formal

Back to ArXiv Papers

Paper Content

📄 Open in New Tab

AI Review

Please note the paper has not yet undergone AI review.

Keywords

Click the button to extract keywords

Insights

Click the button to extract insights