Hugging Face's logo

Spaces:
uw-math-ai
/
theorem-search
Running on CPU Upgrade

App Files Community
1
theorem-search / src
29.5 kB
  • 3 contributors
 History: 33 commits
slszeto's picture
slszeto
remove connection pooling
9f6bc92