Spaces:

Tonic
/

Moonshot-Math

Sleeping

App Files Files Community

9.56 kB

2 contributors

History: 5 commits

Tonic

remove lean4 from gradio block declaration, replace with python

7bd644e unverified 8 months ago