Metamath / README.md
VikrantRamesh's picture
initial commit
664950f verified
|
raw
history blame
242 Bytes
metadata
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