Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
Spaces:
Tonic
/
Math
like
38
Running
on
Zero
App
Files
Files
Community
6
Fetching metadata from the HF Docker repository...
7bd644e
Math
Ctrl+K
Ctrl+K
1 contributor
History:
5 commits
Tonic
remove lean4 from gradio block declaration, replace with python
7bd644e
unverified
11 days ago
.gitattributes
Safe
1.52 kB
initial commit
11 days ago
README.md
Safe
341 Bytes
initial commit
11 days ago
app.py
Safe
7.67 kB
remove lean4 from gradio block declaration, replace with python
11 days ago
requirements.txt
Safe
30 Bytes
initial commit
11 days ago