Spaces:

uw-math-ai
/

theorem-search

Running

App Files Files Community

theorem-search / src

8.21 kB

4 contributors

History: 4 commits

slszeto's picture

Delete src/app_demo.py

409007e verified about 2 months ago

streamlit_app.py

8.21 kB

Update src/streamlit_app.py about 2 months ago