Escape

leanprover-community · Nov 12, 2023 · 1a13f94 · 1a13f94
1 parent 0dd72ca
commit 1a13f94
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/data/people.yaml b/data/people.yaml
@@ -134,7 +134,7 @@
 -
   name: Yury Kudryashov
   descr: |
-       Yury is a post-doc in mathematics at the Texas A&M University.
+       Yury is a post-doc in mathematics at the Texas A&amp;M University.
        He did a PhD in dynamical systems in Lyon and Moscow.
        He has been formalizing mathematics since 2019.
   img: yury.jpeg