Hugging Face's logo

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

App Files Community
1
theorem-search / requirements.txt
slszeto's picture
slszeto
Update requirements.txt
b47a1fe verified
raw
history blame
94 Bytes
 streamlit==1.39.0
sentence-transformers>=3.0.0
numpy
boto3
psycopg2-binary
python-dotenv
torch