Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
Spaces:
uw-math-ai
/
theorem-search
like
0
Running
App
Files
Files
Community
1
Fetching metadata from the HF Docker repository...
cb6c277
theorem-search
/
src
8.21 kB
4 contributors
History:
6 commits
slszeto
Rename src/app.py to src/streamlit_app.py
e0258b8
verified
about 2 months ago
streamlit_app.py
Safe
8.21 kB
Rename src/app.py to src/streamlit_app.py
about 2 months ago