The Equational Theories Project: Collaborative Mathematical Research at Scaleterrytao.wordpress.com2 pointsmatt_d6 months ago