Models
Datasets
Spaces
Docs
Enterprise
Pricing
Log In
Sign Up

Spaces:

uw-math-ai
/

theorem-search

Running

App Files Files Community

Fetching metadata from the HF Docker repository...

36.4 kB

4 contributors

History: 39 commits

slszeto's picture

Update src/streamlit_app.py

3d74df5 verified 7 days ago

.streamlit
Update .streamlit/config.toml 7 days ago
images
imported logo 15 days ago
src
Update src/streamlit_app.py 7 days ago
.gitattributes
1.52 kB

Duplicate from streamlit/streamlit-template-space 2 months ago
Dockerfile
406 Bytes

Update Dockerfile about 2 months ago
README.md
439 Bytes

Update README.md about 2 months ago
requirements.txt
138 Bytes

Update requirements.txt 15 days ago