Hugging Face's logo

Spaces:
uw-math-ai
/
theorem-search
Running

App Files Community
1
theorem-search / requirements.txt

Commit History

Update requirements.txt
723dcef
verified

slszeto commited on

integrated pgvector; updated SQL calls to reference new papers table; minor refactoring
947c57d

Sophie commited on

Update requirements.txt
b47a1fe
verified

slszeto commited on

Update requirements.txt
510bb15
verified

slszeto commited on

Update requirements.txt
8dd8198
verified

slszeto commited on

Update requirements.txt
8708d25
verified

slszeto commited on

Duplicate from streamlit/streamlit-template-space
2740367
verified

Vilin97 FranckAbgrall HF Staff commited on