Models
Datasets
Spaces
Docs
Enterprise
Pricing
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

14.2 kB

4 contributors

History: 8 commits

Sophie

minor fixes

6de8c39 about 2 months ago

latex_clean.py

5.98 kB

minor fixes about 2 months ago
streamlit_app.py

8.26 kB

minor fixes about 2 months ago