2 ms·The Equational Theories Project: Collaborative Mathematical Research at Scale2 points by matt_d 11mo ago