Merge branch 'main' into limits-colimits-2

rzk-lang · Oct 4, 2023 · ba97b53 · ba97b53
2 parents 7e26c7b + 6c21bb8
commit ba97b53
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/CONTRIBUTORS.md b/src/CONTRIBUTORS.md
@@ -2,9 +2,11 @@
 
 Formalizations were contributed by the following people (listed alphabetically):
 
+- [Abdelrahman Aly Abounegm](https://github.com/aabounegm),
 - [Fredrik Bakke](https://github.com/fredrik-bakke),
 - [César Bardomiano Martínez](https://github.com/cesarbm03),
 - [Jonathan Campbell](https://github.com/jonalfcam),
+- [Matthias Hutzler](https://github.com/MatthiasHu),
 - [Nikolai Kudasov](https://fizruk.github.io/),
 - [Kenji Maillard](https://github.com/kyoDralliam),
 - [David Martínez Carpena](https://dvmcarpena.com/),