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...

theorem-search / src

30.9 kB

Ctrl+K

Ctrl+K

3 contributors

History: 10 commits

slszeto's picture

fix logo link

21c1276 about 1 month ago

db.py

8.43 kB
add deprecation notice + link to https://theoremsearch.com about 1 month ago
latex_clean.py

5.98 kB
Initial app code with GitHub Actions HF sync 3 months ago
streamlit_app.py

12.2 kB
fix logo link about 1 month ago
utils.py

4.34 kB
Initial app code with GitHub Actions HF sync 3 months ago