Spaces:
Runtime error
Runtime error
Commit
·
63b07d1
1
Parent(s):
1df53a6
Update README.md
Browse files
README.md
CHANGED
|
@@ -10,4 +10,4 @@ pinned: false
|
|
| 10 |
license: cc-by-4.0
|
| 11 |
---
|
| 12 |
|
| 13 |
-
|
|
|
|
| 10 |
license: cc-by-4.0
|
| 11 |
---
|
| 12 |
|
| 13 |
+
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).
|