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...
4e9a407
math-exams-symvp-duo
1.06 MB
1 contributor
History:
203 commits
joshuarauh
Update app.py
4e9a407
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
821 Bytes
Update README.md
10 months ago
app.py
Safe
54.3 kB
Update app.py
10 months ago
requirements.txt
Safe
51 Bytes
Update requirements.txt
10 months ago
