---
title: Kaiyuy Leandojo Lean3 Tacgen Byt5 Small
emoji: 💻
colorFrom: blue
colorTo: blue
sdk: gradio
sdk_version: 3.39.0
app_file: app.py
pinned: false
---

Check out the configuration reference at https://huggingface.co/docs/hub/spaces-config-reference