Spaces:

uw-math-ai
/

theorem-search

Running

App Files Files Community

theorem-search / src

8.21 kB

4 contributors

History: 5 commits

slszeto's picture

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

cd94f14 verified about 2 months ago

app.py

8.21 kB

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