Hugging Face's logo

Spaces:
AshBlanc
/
demo-prover
Sleeping

App Files Community
AshBlanc commited on
Commit
91ad7c2
·
verified ·
1 Parent(s): 1a28741

Update README.md

Browse files
Files changed (1) hide show
  1. README.md +3 -3
README.md CHANGED
@@ -1,10 +1,10 @@
1
  ---
2
  title: Demo Prover
3
  emoji: 🐠
4
- colorFrom: yellow
5
  colorTo: yellow
6
- sdk: gradio
7
- sdk_version: 5.6.0
8
  python_version: 3.12
9
  app_file: app.py
10
  pinned: false
 
1
  ---
2
  title: Demo Prover
3
  emoji: 🐠
4
+ colorFrom: red
5
  colorTo: yellow
6
+ sdk: streamlit
7
+ sdk_version: 1.40.2
8
  python_version: 3.12
9
  app_file: app.py
10
  pinned: false