stellaathena commited on
Commit
a904d91
1 Parent(s): 63b07d1

Update README.md

Browse files
Files changed (1) hide show
  1. README.md +1 -1
README.md CHANGED
@@ -10,4 +10,4 @@ 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 [Mitchell Heath](https://github.com/Heath123).
 
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).