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