Zulip Chat Archive
Stream: Equational
Topic: Mathbases.org PR
Terence Tao (Jan 30 2025 at 18:02):
I've taken the liberty of submitting a PR to https://github.com/MathBases/MathBases to add Equational Theories (and an unrelated database, the Analytic Number Theory Exponent Database) to this database-of-databases: https://github.com/MathBases/MathBases/pull/63
Last updated: May 02 2025 at 03:31 UTC