README.md

metadata

title: Demo Prover
emoji: 🐠
colorFrom: yellow
colorTo: yellow
sdk: gradio
sdk_version: 5.6.0
python_version: 3.12
app_file: app.py
pinned: false
license: mit
short_description: nl -> fl

Check out the configuration reference at https://huggingface.co/docs/hub/spaces-config-reference