Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
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
15
Running
App
Files
Files
Community
1
Fetching metadata from the HF Docker repository...
main
theorem-search
/
.github
/
workflows
Commit History
Use force push for HF sync
9c4c6d4
Vilin97
Claude Opus 4.6
commited on
Feb 20
Initial app code with GitHub Actions HF sync
a2d3115
Vilin97
Claude Opus 4.6
commited on
Feb 20
