Add Anatole to maintainer list

leanprover-community · Aug 8, 2023 · 643edfd · 643edfd
1 parent ecd4452
commit 643edfd
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 0 deletions.
diff --git a/data/people.yaml b/data/people.yaml
@@ -51,6 +51,13 @@
        PhD in algebraic geometry in Nijmegen.  He has been formalizing
        mathematics since 2018.
   img: Johan.jpg
+-
+  name: Anatole Dedecker
+  descr: |
+       Anatole is a master's student in mathematics at Université 
+       Paris-Saclay at Orsay (France). He has been formalizing 
+       mathematics in Lean since 2020.
+  img: anatole.jpg
 -
   name: Rémy Degenne
   descr: |

diff --git a/img/anatole.jpg b/img/anatole.jpg