Update README.md

pitmonticone · Sep 26, 2024 · b094c37 · b094c37
1 parent b3c6faf
commit b094c37
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/README.md b/README.md
@@ -189,6 +189,7 @@ You can keep track of the progress in the **Actions** tab of your repository.
 
 - [Infinity Cosmos](https://github.com/emilyriehl/infinity-cosmos) led by Emily Riehl.
 - [Analytic Number Theory Exponent Database](https://github.com/teorth/expdb) led by Terence Tao.
+- [Equational Theories](https://github.com/teorth/equational_theories) led by Terence Tao.
 - [Groupoid Model of Homotopy Type Theory](https://github.com/sinhp/GroupoidModelofHoTTinLean4) led by Sina Hazratpour.
 - [Soundness of FRI](https://github.com/BoltonBailey/FRISoundness) led by Bolton Bailey.
 - [Weil's Converse Theorem](https://github.com/CBirkbeck/WeilConverse) led by Chris Birkbeck.