SEA-tiny / README.md
Cran-May's picture
Update README.md
ae5ec75
|
raw
history blame
247 Bytes
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