Spaces:
Sleeping
Sleeping
A newer version of the Streamlit SDK is available:
1.43.2
metadata
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