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...

10.7 kB

4 contributors

History: 11 commits

slszeto's picture

Update README.md

0ac9626 verified about 2 months ago

src
Delete src/app_demo.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
464 Bytes

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

Update requirements.txt about 2 months ago