Back to servers
Enables LLMs to prove theorems in Lean and formalize mathematical problems using the Aristotle API, supporting both formal Lean code and natural language problem submissions.
No tools available for this server
Reviews
No reviews yet
Sign in to write a review