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