Hugging Face's logo

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

App Files Community
1
slszeto commited on
Commit
f5511c4
·
verified ·
1 Parent(s): cd94f14

Update README.md

Browse files
Files changed (1) hide show
  1. README.md +1 -2
README.md CHANGED
@@ -3,8 +3,7 @@ title: Theorem Search
3
  emoji: 📚
4
  colorFrom: purple
5
  colorTo: indigo
6
- sdk: streamlit
7
- sdk_version: 1.50.0
8
  app_port: 8501
9
  tags:
10
  - streamlit
 
3
  emoji: 📚
4
  colorFrom: purple
5
  colorTo: indigo
6
+ sdk: docker
 
7
  app_port: 8501
8
  tags:
9
  - streamlit