Spaces:

uw-math-ai
/

theorem-search

Running

App Files Files Community

theorem-search / src

15 kB

4 contributors

History: 7 commits

Sophie

better latex parsing when displaying theorems (not perfect)

ab99a3d about 2 months ago

latex_clean.py

6.83 kB

better latex parsing when displaying theorems (not perfect) about 2 months ago
streamlit_app.py

8.2 kB

better latex parsing when displaying theorems (not perfect) about 2 months ago