---
id: "equational-theories-project-tao-et-al"
title: "Equational Theories Project (Tao et al.)"
creator: null
creator_url: null
creator_x: null
url: "https://teorth.github.io/equational_theories/"
level: "intermediate"
level_max: "intermediate"
category: "frontier"
subcategory: "research-feeds"
region: "unknown"
license: "unknown"
license_scope: "linked-resource"
access: "free"
models: []
source_date: null
date_added: "2026-10-18"
resource_kind: "learning_resource"
verification_basis: "supplier-inventory-v2.3"
access_evidence: "Supplier-approved free inventory; not independently verified by this site."
domain_top: "Science & medicine"
domain_sub: "mathematics"
last_verified: "2026-10-18"
---

[Frontier](/frontier/index.md)

# Equational Theories Project (Tao et al.)

Creator not supplied; see original source.

[Read the original →](https://teorth.github.io/equational_theories/)

Terence Tao's Equational Theories Project: crowdsourced and automated-prover mapping of implications between equational laws.

Level: [Intermediate](/levels/index.md)
Models: 
Category: [Frontier](/frontier/index.md)
Tags: [mathematics](/tags/mathematics/index.md), [science-medicine](/tags/science-medicine/index.md)
Source date: date not stated
Added: 2026-10-18
Last verified: 2026-10-18
Status: ok
Prerequisites: source
Subcategory: [research feeds](/frontier/research-feeds/index.md)
Region: unknown
Original language: en
Access: free
Resource reuse: unknown: Not supplied; no reuse grant asserted. [Facet definitions](/about/index.md#facets)
Verification basis: Supplier-reported live check; no independent HTTP verification by this site.
Access evidence: Supplier-approved free inventory; not independently verified by this site.
Source domain: Science & medicine
Source subdomain: mathematics
Supplier region label: US/Global

Summary in our own words. Rights remain with the original creator. [Credit and correction policy](/about/index.md#credit-policy).

[Plain-text Markdown copy](/frontier/research-feeds/equational-theories-project-tao-et-al/index.md)