metamath / README.md
ProgramatorVit's picture
initial commit
4058020

A newer version of the Gradio SDK is available: 4.36.1

Upgrade
metadata
title: Metamath
emoji: 😻
colorFrom: blue
colorTo: purple
sdk: gradio
sdk_version: 4.0.2
app_file: app.py
pinned: false
license: mit

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