update contributors

rzk-lang · Oct 2, 2024 · 29771d1 · 29771d1
1 parent 319b48d
commit 29771d1
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/CONTRIBUTORS.md b/src/CONTRIBUTORS.md
@@ -6,6 +6,7 @@ Formalizations were contributed by the following people (listed alphabetically):
 - [Fredrik Bakke](https://github.com/fredrik-bakke),
 - [César Bardomiano Martínez](https://github.com/cesarbm03),
 - [Jonathan Campbell](https://github.com/jonalfcam),
+- [Robin Carlier](https://github.com/robin-carlier),
 - [Theofanis Chatzidiamantis-Christoforidis](https://github.com/thchatzidiamantis),
 - [Aras Ergus](https://www.aergus.net/),
 - [Matthias Hutzler](https://github.com/MatthiasHu),