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.