Spaces:

uw-math-ai
/

theorem-search

Running

App Files Files Community

theorem-search / src

8.21 kB

4 contributors

History: 6 commits

slszeto's picture

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

e0258b8 verified about 2 months ago

streamlit_app.py

8.21 kB

Rename src/app.py to src/streamlit_app.py about 2 months ago