Alexandre Buisse / Andreas Abel / Mathieu Boespflug / Hugo Herbelin / Bruno Bernardo / André Hirschowitz / Andrés Sicard / Yves Bertot / Bruno Barras / Alan Perlis / Hubert Comon-Lundh / Thierry Coquand Benjamin Werner It / Lewis Caroll / Florent Kirchner / Vincent Siles / Lisa Allali / Jean Goubault-Larrecq / Julio Rubio / Jean Vuillemin / Peter Dybjer / Nils Anders Danielsson / Julio Rubio Claudio Sacerdoti Coen / Ulf Norell / Claudio Sacerdoti-Coen / Thierry Coquand / Denis Cousineau / Paul-André Melliès / Elie Soubiran / Paul-André Melliès Julio Rubio Claudio / André Hirschowitz Paul-André / Benjamin Werner / Bas Spitters / Claudio Sacerdoti Coen Bas Spitters / Stéphane Lengrand / Matthieu Sozeau / /
V erified Computing in Homological Algebra A Journey Exploring the Power and Limits of Dependent Type Theory Arnaud Spiwack