The Equational Theories Project: Advancing Collaborative ... | ResearchHub