Spaces:

uw-math-ai
/

theorem-search

Running

App Files Files Community

10.7 kB

4 contributors

History: 13 commits

slszeto's picture

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

cd94f14 verified about 2 months ago