Hugging Face's logo

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

App Files Community
1
slszeto commited on
Commit
723dcef
·
verified ·
1 Parent(s): c1b045f

Update requirements.txt

Browse files
Files changed (1) hide show
  1. requirements.txt +2 -1
requirements.txt CHANGED
@@ -6,4 +6,5 @@ numpy
6
  boto3
7
  psycopg2-binary
8
  python-dotenv
9
- torch
 
 
6
  boto3
7
  psycopg2-binary
8
  python-dotenv
9
+ torch
10
+ streamlit_antd_components