--- title: Lean Expr Tree emoji: 🏢 colorFrom: purple colorTo: yellow sdk: docker pinned: false license: mit --- Check out the configuration reference at https://huggingface.co/docs/hub/spaces-config-reference