Models
Datasets
Spaces
Docs
Enterprise
Pricing
Log In
Sign Up

Spaces:

uw-math-ai
/

theorem-search

Running on CPU Upgrade

App Files Files Community

Fetching metadata from the HF Docker repository...

41.5 kB

3 contributors

History: 9 commits

slszeto's picture

remove connection pooling; fix user query storage

6a5eac2 13 days ago

.github
Use force push for HF sync 15 days ago
.streamlit
Initial app code with GitHub Actions HF sync 15 days ago
images
Initial app code with GitHub Actions HF sync 15 days ago
src
remove connection pooling; fix user query storage 13 days ago
.gitignore

24 Bytes

fix app 15 days ago
Dockerfile

407 Bytes

Initial app code with GitHub Actions HF sync 15 days ago
README.md

1.5 kB

Improve README with project description 15 days ago
requirements.txt

91 Bytes

Initial app code with GitHub Actions HF sync 15 days ago