Spaces:
Sleeping
Sleeping
| title: Demo Prover | |
| emoji: 🐠 | |
| colorFrom: red | |
| colorTo: yellow | |
| sdk: streamlit | |
| sdk_version: 1.40.2 | |
| 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 |