Skip to content
archive

using-aristotle-api-for-ai-assisted-theorem-proving-in-lean-4-a-formalisation-case-study-of-the-grasshopper-problem

wiki · · 1 min read

Using Aristotle API for AI-Assisted Theorem Proving in Lean 4: A Formalisation Case Study of the Grasshopper Problem

Definition

arXiv ID: 2605.20120

Sources

  • raw/AI/arxiv-ai-260520120-Using-Aristotle-API-for-AI-Assisted-Theo.md