A newer version of the Gradio SDK is available:
4.40.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