---
title: Theorem Proving Agent
emoji: 🦀
colorFrom: pink
colorTo: pink
sdk: gradio
sdk_version: 5.20.1
app_file: app.py
pinned: false
license: mit
short_description: This is an Agent fine-tuned to prove or disprove theorems.
---

Check out the configuration reference at https://huggingface.co/docs/hub/spaces-config-reference