Update my affiliation (#587)

leanprover-community · Jan 30, 2025 · 5818b09 · 5818b09
1 parent 2064756
commit 5818b09
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/data/people.yaml b/data/people.yaml
@@ -72,8 +72,8 @@
 -
   name: Anatole Dedecker
   descr: |
-       Anatole is a master's student in mathematics at Université
-       Paris-Saclay at Orsay (France). He has been formalizing
+       Anatole is a PhD student in Mathematics, specifically operator algebras,
+       at Université Paris Cité (France). He has been formalizing
        mathematics in Lean since 2020.
   img: anatole.jpg
 -