stellaathena commited on
Commit
07ed23e
1 Parent(s): a904d91

Update README.md

Browse files
Files changed (1) hide show
  1. README.md +3 -1
README.md CHANGED
@@ -10,4 +10,6 @@ pinned: false
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 [Heath Mitchell](https://github.com/Heath123).
 
 
 
10
  license: cc-by-4.0
11
  ---
12
 
13
+ A demo of MAGMA ([GitHub](https://github.com/magma/magma), [arXiv](https://arxiv.org/abs/2112.05253)) by Constantin Eichenberg, Sid Black, Samuel Weinbach, Letitia Parcalabescu, and Anette Frank.
14
+
15
+ Demo by [Heath Mitchell](https://github.com/Heath123).