A list of contributors

Formalizations were contributed by the following people (listed alphabetically):

• Abdelrahman Aly Abounegm,
• Fredrik Bakke,
• César Bardomiano Martínez,
• Jonathan Campbell,
• Robin Carlier,
• Theofanis Chatzidiamantis-Christoforidis,
• Aras Ergus,
• Matthias Hutzler,
• Nikolai Kudasov,
• Kenji Maillard,
• David Martínez Carpena,
• Stiéphen Pradal,
• Nima Rasekh,
• Emily Riehl,
• Florrie Verity,
• Tashi Walde, and
• Jonathan Weinberger.

You may see actual contributed commits in the Contributors page on GitHub.