- Frédéric Blanqui for the alignment of unary and binary natural numbers, and real numbers
- Anthony Bordg for the alignment of the types sum, list, option
- Amal Makni for the alignment of subtypes, quotient types and part of the type of real numbers
- Théo Winterhalter for the tactic align_ε
- Jérémy Dubut for the alignment of EVEN, ODD, WF
- Antoine Gontard for the tactics to automatically align inductive types and recursive functions