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