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...
c6bcc0c
theorem-search
19 kB
4 contributors
History:
4 commits
slszeto
Update src/streamlit_app.py
c6bcc0c
verified
about 2 months ago
src
Update src/streamlit_app.py
about 2 months ago
.gitattributes
1.52 kB
Duplicate from streamlit/streamlit-template-space
2 months ago
Dockerfile
426 Bytes
Duplicate from streamlit/streamlit-template-space
2 months ago
README.md
434 Bytes
initial commit
2 months ago
requirements.txt
23 Bytes
Duplicate from streamlit/streamlit-template-space
2 months ago
