Spaces:

uw-math-ai
/

theorem-search

Running on CPU Upgrade

App Files Files Community

40.7 kB

3 contributors

History: 66 commits

slszeto's picture

Update README.md

092bb13 verified 3 days ago