Equational Theory Project slides

Stream: Big Proof 2025

[Terence Tao]

here is the final version of my slides (correcting some minor typesetting issues and other typos from a previous version shared in the ETP chat).

Are there any ETP participants attending in person? I should have asked this question before my talk to highlight people who might be able to answer more questions about the project.