@misc{indiciae8938be6426ba,
  title = {The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale},
  author = {Matthew Bolan and Joachim Breitner and Jose Brox and Nicholas Carlini and Mario Carneiro and Floris van Doorn and Martin Dvorak and Andrés Goens and Aaron Hill and Harald Husum and Hernán Ibarra Mejia and Zoltan A. Kocsis and Bruno Le Floch and Amir Livne Bar-on and Lorenzo Luccioli and Douglas McNeil and Alex Meiburg and Pietro Monticone and Pace P. Nielsen and Emmanuel Osalotioman Osazuwa and Giovanni Paolini and Marco Petracci and Bernhard Reinke and David Renshaw and Marcus Rossel and Cody Roux and Jérémy Scanvic and Shreyas Srinivas and Anand Rao Tadipatri and Terence Tao and Vlad Tsyrklevich and Fernando Vaquerizo-Villar and Daniel Weber and Fan Zheng},
  year = {2025},
  url = {https://arxiv.org/abs/2512.07087},
  note = {Source identifier: 2512.07087}
}