spaces.md

metadata

title: Program Synthesis
emoji: 🤗
colorFrom: blue
colorTo: green
sdk: streamlit
sdk_version: 1.28.0
app_file: app.py
pinned: false