File size: 141 Bytes
277611f
 
 
 
 
 
95b70fd
277611f
 
 
1
2
3
4
5
6
7
8
9
10
---
title: Program Synthesis
emoji: 🤗
colorFrom: blue
colorTo: green
sdk: streamlit
sdk_version: 1.19.0
app_file: app.py
pinned: false
---