Spaces:

wr1240148048
/

stack_project_to_mathlib4_search

Build error

App Files Files Community

stack_project_to_mathlib4_search

Commit History

Update app.py

83cedb8
verified

wr1240148048 commited on May 13

Update app.py

30f898f
verified

wr1240148048 commited on May 13

Update requirements.txt

e237932
verified

wr1240148048 commited on May 12

Update requirements.txt

ea76028
verified

wr1240148048 commited on May 12

Update requirements.txt

316f7cf
verified

wr1240148048 commited on May 12

Upload 6 files

ade82ba
verified

wr1240148048 commited on May 12

Update requirements.txt

c45938e
verified

wr1240148048 commited on May 12

Create requirements.txt

d05fa09
verified

wr1240148048 commited on May 12

Rename gui.py to app.py

770d8c7
verified

wr1240148048 commited on May 12

Create gui.py

4f5b091
verified

wr1240148048 commited on May 12

initial commit

f45d8bc
verified

wr1240148048 commited on May 12