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...
6560f91
math-exams-symvp-duo
1.06 MB
1 contributor
History:
173 commits
joshuarauh
Update app.py
6560f91
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
12 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
