Spaces:
Running
Running
File size: 208 Bytes
84c1bb2 |
1 2 3 4 5 6 7 8 9 10 11 12 13 |
---
title: Demo Prover
emoji: 🐠
colorFrom: yellow
colorTo: yellow
sdk: gradio
sdk_version: 5.6.0
python_version: 3.11
app_file: app.py
pinned: false
license: mit
short_description: nl -> fl
--- |