---
title: Moonshot Math
emoji: 🌕💉👨🏻‍🔬
colorFrom: red
colorTo: purple
sdk: gradio
sdk_version: 5.36.2
app_file: app.py
pinned: true
license: mit
short_description: Formal reasoning model that can reason and prove theorems
---

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