Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
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
/
src
/
latex_clean.py
Commit History
Initial app code with GitHub Actions HF sync
a2d3115
Vilin97
Claude Opus 4.6
commited on
Feb 20