Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Docs
  • Enterprise
  • Pricing

  • Log In
  • Sign Up

Spaces:
Tonic
/
Math
Running on Zero

App Files Files Community
6
Fetching metadata from the HF Docker repository...
Math
Ctrl+K
Ctrl+K
  • 1 contributor
History: 5 commits
Tonic's picture
Tonic
remove lean4 from gradio block declaration, replace with python
7bd644e unverified 11 days ago
  • .gitattributes
    1.52 kB
    initial commit 11 days ago
  • README.md
    341 Bytes
    initial commit 11 days ago
  • app.py
    7.67 kB
    remove lean4 from gradio block declaration, replace with python 11 days ago
  • requirements.txt
    30 Bytes
    initial commit 11 days ago