Hugging Face's logo

Spaces:
Tonic
/
Math
Running on Zero

App Files Community
6
Tonic commited on
Commit
9dbcbb8
·
unverified ·
1 Parent(s): 31e2261

initial commit

Browse files
Files changed (1) hide show
  1. README.md +1 -1
README.md CHANGED
@@ -6,7 +6,7 @@ colorTo: purple
6
  sdk: gradio
7
  sdk_version: 5.36.2
8
  app_file: app.py
9
- pinned: false
10
  license: mit
11
  short_description: Formal reasoning model that can reason and prove theorems
12
  ---
 
6
  sdk: gradio
7
  sdk_version: 5.36.2
8
  app_file: app.py
9
+ pinned: true
10
  license: mit
11
  short_description: Formal reasoning model that can reason and prove theorems
12
  ---