A newer version of the Gradio SDK is available:
5.29.0
metadata
title: Shi-CI Extensional Analyzer
emoji: ⚡
colorFrom: yellow
colorTo: indigo
sdk: gradio
sdk_version: 3.45.2
app_file: app.py
pinned: true
Check out the configuration reference at https://huggingface.co/docs/hub/spaces-config-reference