Spaces:

Yiyaozz
/

leanProver0.1

No application file

leanProver0.1 / README.md

initial commit

ad010b9 11 months ago

235 Bytes

A newer version of the Gradio SDK is available: 5.1.0

Upgrade

metadata

title: LeanProver0.1
emoji: 🏢
colorFrom: yellow
colorTo: indigo
sdk: gradio
sdk_version: 4.8.0
app_file: app.py
pinned: false