Hugging Face
Models
Datasets
Spaces
Posts
Docs
Enterprise
Pricing
Log In
Sign Up
Spaces:
Duplicated from
joshuarauh/math-exams-symver-proof
joshuarauh
/
math-exams-symvp-duo
like
0
Sleeping
App
Files
Files
Community
Fetching metadata from the HF Docker repository...
6fc6dab
math-exams-symvp-duo
Ctrl+K
Ctrl+K
1 contributor
History:
89 commits
joshuarauh
Upload Lebl-theorems-all.json
6fc6dab
verified
4 months ago
.gitattributes
Safe
1.52 kB
initial commit
6 months ago
Lebl-theorems-all.json
Safe
854 kB
Upload Lebl-theorems-all.json
4 months ago
README.md
Safe
803 Bytes
Update README.md
5 months ago
app.py
Safe
23.2 kB
Update app.py
5 months ago
naturalproofs_trench.json
Safe
1.05 MB
Upload naturalproofs_trench.json
5 months ago
requirements.txt
Safe
44 Bytes
Update requirements.txt
5 months ago
theorems_contfunc.json
Safe
110 kB
Upload theorems_contfunc.json
5 months ago
