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

28.2 kB

4 contributors

History: 35 commits

slszeto's picture

Update requirements.txt

723dcef verified 11 days ago

.streamlit
added 0 citation-weight case; ui updates 11 days ago
src
added 0 citation-weight case; ui updates 11 days ago
.gitattributes

1.52 kB

Duplicate from streamlit/streamlit-template-space about 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 11 days ago