Space: AI-Quotient/theorem-proving-agent
title: Theorem Proving Agent
sdk: gradio
license: mit
short_description: This is an Agent fine-tuned to prove or disprove theorems.
Tags: gradio, region:us