--- title: LeanProver0.1 emoji: 🏢 colorFrom: yellow colorTo: indigo sdk: gradio sdk_version: 4.8.0 app_file: app.py pinned: false --- Check out the configuration reference at https://huggingface.co/docs/hub/spaces-config-reference