Hugging Face's logo

Spaces:
AshBlanc
/
demo-prover
Sleeping

App Files Community
AshBlanc commited on
Commit
287e1b5
·
verified ·
1 Parent(s): af923f7

Update README.md

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