The Equational Theories Project: Advancing Collaborative Mathematical Research at ScaleBy adminDecember 14, 20250 Matthew Bolan, Joachim Breitner, Jose Brox, Nicholas Carlini, Mario Carneiro, Floris van Doorn, Martin Dvorak, Andrés Goens, Aaron Hill, Harald…
