Home Online Mathematical Communication What's new The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale