Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Hardware
Learn
Discord
Forum
GitHub
Solutions
Team & Enterprise
Hugging Face PRO
Enterprise Support
Inference Providers
Inference Endpoints
Storage Buckets
Log In
Sign Up
Spaces:
uw-math-ai
/
theorem-search
Like
16
Running
App
Files
Files
Community
1
Fetching metadata from the HF Docker repository...
main
theorem-search
11.5 kB
Ctrl+K
Ctrl+K
5 contributors
History:
16 commits
Sophie Szeto
Update README with new search URL and details
a8140f5
unverified
10 days ago
.github
Use force push for HF sync
8 months ago
.streamlit
Initial app code with GitHub Actions HF sync
8 months ago
images
Initial app code with GitHub Actions HF sync
8 months ago
src
Retire the Space: remove search, leave a pointer to theoremsearch.com
10 days ago
.gitignore
Safe
24 Bytes
fix app
8 months ago
Dockerfile
Safe
407 Bytes
Initial app code with GitHub Actions HF sync
8 months ago
README.md
Safe
1.1 kB
Update README with new search URL and details
10 days ago
requirements.txt
Safe
18 Bytes
Retire the Space: remove search, leave a pointer to theoremsearch.com
10 days ago
