From b094c37ec80ab73d1747f29d0a3fb4c9da5b04fe Mon Sep 17 00:00:00 2001
From: Pietro Monticone <38562595+pitmonticone@users.noreply.github.com>
Date: Thu, 26 Sep 2024 21:10:24 +0200
Subject: [PATCH] Update README.md

---
 README.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/README.md b/README.md
index 4d2852d..c484ce9 100644
--- 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.