Spaces:
No application file
No application file
File size: 235 Bytes
ad010b9 |
1 2 3 4 5 6 7 8 9 10 11 12 13 |
---
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
|