Hugging Face's logo

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

App Files Community
1
slszeto commited on
Commit
0ac9626
·
verified ·
1 Parent(s): 7175b90

Update README.md

Browse files
Files changed (1) hide show
  1. README.md +1 -0
README.md CHANGED
@@ -5,6 +5,7 @@ colorFrom: purple
5
  colorTo: indigo
6
  sdk: streamlit
7
  app_port: 8501
 
8
  tags:
9
  - streamlit
10
  pinned: false
 
5
  colorTo: indigo
6
  sdk: streamlit
7
  app_port: 8501
8
+ app_file: app_demo.py
9
  tags:
10
  - streamlit
11
  pinned: false