Spaces:

uw-math-ai
/

theorem-search

Running

App Files Files Community

theorem-search / src /streamlit_app.py

Commit History

Rename src/app.py to src/streamlit_app.py

e0258b8
verified

slszeto commited on Oct 22

Rename src/streamlit_app.py to src/app.py

cd94f14
verified

slszeto commited on Oct 22

Update src/streamlit_app.py

c6bcc0c
verified

slszeto commited on Oct 22

Duplicate from streamlit/streamlit-template-space

2740367
verified

FranckAbgrall HF Staff commited on Oct 14