Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
Spaces:
joshuarauh
/
math-exams-symvp-duo
like
0
Running
App
Files
Files
Community
Fetching metadata from the HF Docker repository...
a1f9110
math-exams-symvp-duo
2.08 MB
1 contributor
History:
96 commits
joshuarauh
Update app.py
a1f9110
verified
11 months ago
.gitattributes
Safe
1.52 kB
initial commit
about 1 year ago
Lebl-theorems-all.json
Safe
1 MB
Upload Lebl-theorems-all.json
11 months ago
README.md
Safe
803 Bytes
Update README.md
12 months ago
app.py
Safe
26.7 kB
Update app.py
11 months ago
naturalproofs_trench.json
Safe
1.05 MB
Upload naturalproofs_trench.json
12 months ago
requirements.txt
Safe
44 Bytes
Update requirements.txt
12 months ago
