Spaces:

theostos
/

Babel-ssreflect

Sleeping

theostos commited on Oct 16, 2025

Commit

c148c7c

verified ·

1 Parent(s): 419106e

Update README.md

Files changed (1) hide show

README.md CHANGED Viewed

@@ -7,7 +7,7 @@ sdk: gradio
 sdk_version: 5.49.1
 app_file: app.py
 pinned: false
-short_description: Translate vanilla Rocq into SSReflect proof.
 ---
 Check out the configuration reference at https://huggingface.co/docs/hub/spaces-config-reference

 sdk_version: 5.49.1
 app_file: app.py
 pinned: false
+short_description: Translate vanilla Rocq into SSReflect proof
 ---
 Check out the configuration reference at https://huggingface.co/docs/hub/spaces-config-reference