---
title: Proofcore Demo
emoji: 💻
colorFrom: blue
colorTo: yellow
sdk: gradio
sdk_version: 5.49.1
app_file: app.py
pinned: false
license: mit
short_description: ProofCore v1.0.2 - Hybrid Mathematical Proof Verification En
---

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