--- title: Search Mathlib emoji: 🔥 colorFrom: yellow colorTo: pink sdk: docker pinned: false license: mit --- Check out the configuration reference at https://huggingface.co/docs/hub/spaces-config-reference