Hugging Face's logo

Spaces:
joshuarauh
/
math-exams-symvp-duo
Running

App Files Community
math-exams-symvp-duo

Commit History

Update app.py
a3db34b
verified

joshuarauh commited on

Update app.py
9eb3a05
verified

joshuarauh commited on

Update app.py
a1f9110
verified

joshuarauh commited on

Update app.py
406c0d6
verified

joshuarauh commited on

Upload Lebl-theorems-all.json
3334031
verified

joshuarauh commited on

Delete Lebl-theorems-all.json
d996f69
verified

joshuarauh commited on

Update app.py
7c9de68
verified

joshuarauh commited on

Update app.py
add2681
verified

joshuarauh commited on

Delete theorems_contfunc.json
7000b7e
verified

joshuarauh commited on

Upload Lebl-theorems-all.json
6fc6dab
verified

joshuarauh commited on

Upload theorems_contfunc.json
6cf942d
verified

joshuarauh commited on

Update app.py
e4c68f9
verified

joshuarauh commited on

Update app.py
3646962
verified

joshuarauh commited on

Upload naturalproofs_trench.json
5867946
verified

joshuarauh commited on

Delete naturalproofs_trench.json
1f469a9
verified

joshuarauh commited on

data/naturalproofs_trench.json
5b92735
verified

joshuarauh commited on

Update README.md
accd94c
verified

joshuarauh commited on

Update app.py
f6e4af4
verified

joshuarauh commited on

Update app.py
bdc7971
verified

joshuarauh commited on

Update app.py
acfcd3f
verified

joshuarauh commited on

Update app.py
4a59421
verified

joshuarauh commited on

Update app.py
c6edca8
verified

joshuarauh commited on

Update app.py
00ab419
verified

joshuarauh commited on

Update app.py
b534e76
verified

joshuarauh commited on

Update app.py
bbf54a8
verified

joshuarauh commited on

Update app.py
17cdf31
verified

joshuarauh commited on

Update app.py
1e97787
verified

joshuarauh commited on

Update app.py
c3922cc
verified

joshuarauh commited on

Update app.py
d38e732
verified

joshuarauh commited on

Update app.py
079e233
verified

joshuarauh commited on

Update app.py
bfe4451
verified

joshuarauh commited on

Update app.py
209e476
verified

joshuarauh commited on

Update app.py
6b15b0f
verified

joshuarauh commited on

Update app.py
2a40c5d
verified

joshuarauh commited on

Update app.py
8545288
verified

joshuarauh commited on

Update app.py
8c94fd2
verified

joshuarauh commited on

Update app.py
9a57eea
verified

joshuarauh commited on

Update app.py
c55aa08
verified

joshuarauh commited on

Update app.py
777994f
verified

joshuarauh commited on

Update app.py
24cbca4
verified

joshuarauh commited on

Update app.py
9c08902
verified

joshuarauh commited on

Update app.py
b485dc8
verified

joshuarauh commited on

Update app.py
7748dcf
verified

joshuarauh commited on

Update requirements.txt
e5e4915
verified

joshuarauh commited on

Update app.py
56c0514
verified

joshuarauh commited on

Update app.py
b3ff73e
verified

joshuarauh commited on

Update app.py
4ea7c1f
verified

joshuarauh commited on

Update app.py
63ad224
verified

joshuarauh commited on

Update README.md
781bfc3
verified

joshuarauh commited on

Update README.md
3fd98be
verified

joshuarauh commited on