Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
Spaces:
Duplicated from
joshuarauh/math-exams-symver-proof
joshuarauh
/
math-exams-symvp-duo
like
0
Running
App
Files
Files
Community
Fetching metadata from the HF Docker repository...
8d54751
math-exams-symvp-duo
1.06 MB
1 contributor
History:
181 commits
joshuarauh
Update app.py
8d54751
verified
10 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
11 months ago
app.py
Safe
51.2 kB
Update app.py
10 months ago
requirements.txt
Safe
51 Bytes
Update requirements.txt
10 months ago
