fix team section

leanprover-community · Sep 17, 2024 · 0eb91c1 · 0eb91c1
1 parent 831e382
commit 0eb91c1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/posts/infinity-cosmos-announcement.md b/posts/infinity-cosmos-announcement.md
@@ -29,7 +29,7 @@ The initial aims of this project are relatively modest, though with sufficient i
 
 # Team behind ∞-Cosmos
 
-This project is being co-lead by [Dominic Verity](https://github.com/dom-verity) and [Mario Carneiro](https://github.com/digama0).
+This project is being co-led by [Mario Carneiro](https://github.com/digama0), [Emily Riehl](https://github.com/emilyriehl), and [Dominic Verity](https://github.com/dom-verity).
 
 # Contributing