Models
Datasets
Spaces
Buckets new
Docs
Enterprise
Pricing
- Website
- Community
- Solutions
Log In
Sign Up

Spaces:

uw-math-ai
/

theorem-search

Running

App Files Files Community

Fetching metadata from the HF Docker repository...

41.7 kB

Ctrl+K

Ctrl+K

3 contributors

History: 12 commits

slszeto's picture

fix logo link

21c1276 about 1 month ago

.github
Use force push for HF sync 3 months ago
.streamlit
Initial app code with GitHub Actions HF sync 3 months ago
images
Initial app code with GitHub Actions HF sync 3 months ago
src
fix logo link about 1 month ago
.gitignore

24 Bytes
fix app 3 months ago
Dockerfile

407 Bytes
Initial app code with GitHub Actions HF sync 3 months ago
README.md

1.5 kB
Improve README with project description 3 months ago
requirements.txt

85 Bytes
add deprecation notice + link to https://theoremsearch.com about 1 month ago