Spaces:
Sleeping
Sleeping
File size: 331 Bytes
57c34a2 |
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 |
---
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
|