Spaces:

uw-math-ai
/

theorem-search

Running

App Files Files Community

slszeto commited on Oct 22

Commit

cd94f14

·

verified ·

1 Parent(s): f690f3e

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

Files changed (1) hide show

src/{streamlit_app.py → app.py} +0 -0

src/{streamlit_app.py → app.py} RENAMED Viewed

File without changes