--- title: Metamath emoji: 👁 colorFrom: pink colorTo: gray sdk: gradio sdk_version: 4.18.0 app_file: app.py pinned: false license: other --- Check out the configuration reference at https://huggingface.co/docs/hub/spaces-config-reference