Spaces:

uw-math-ai
/

theorem-search

Running

App Files Files Community

theorem-search / src

1.13 kB

4 contributors

History: 1 commit

Vilin97's picture

Duplicate from streamlit/streamlit-template-space

2740367 verified about 2 months ago

streamlit_app.py

1.13 kB

Duplicate from streamlit/streamlit-template-space about 2 months ago