Ike Mulder and Robbert Krebbers
Category: Proof Assistants Use
William DeMeo
Carmine Abate, Philipp G. Haselwarter, Exequiel Rivas, Antoine Van Muylder, Théo Winterhalter, Cătălin Hritcu, Kenji Maillard, and Bas Spitters
Anton Setzer and Bogdan Gabriel Lazar
Hélène Fargier, Érik Martin-Dorel, and Pierre Pomeret-Coquot