Spaces:
Runtime error
Runtime error
A newer version of the Gradio SDK is available:
5.9.1
metadata
title: Kaiyuy Leandojo Lean3 Tacgen Byt5 Small
emoji: 💻
colorFrom: blue
colorTo: blue
sdk: gradio
sdk_version: 3.39.0
app_file: app.py
pinned: false
Check out the configuration reference at https://huggingface.co/docs/hub/spaces-config-reference