README.md

---
title: MAGMA
emoji: 🦀
colorFrom: red
colorTo: red
sdk: gradio
sdk_version: 2.8.10
app_file: app.py
pinned: false
license: cc-by-4.0
---

A demo of Aleph Alpha's MAGMA ([GitHub](https://github.com/magma/magma), [arXiv](https://arxiv.org/abs/2112.05253)) by [Mitchell Heath](https://github.com/Heath123).