Spaces:
Sleeping
Sleeping
File size: 297 Bytes
ea0172b bb5c9e1 ea0172b c148c7c ea0172b bb5c9e1 |
1 2 3 4 5 6 7 8 9 10 11 12 13 |
---
title: Babel SSReflect
emoji: 📚
colorFrom: green
colorTo: pink
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 |