## Coq contributors ## ## This file allows joining the different accounts of a same person. ## Cf for instance: git shortlog -nse. More details via: man git shortlog ## ## To avoid spam issues, we use by default a pseudo-email ## for all persons that haven't made commits with real emails ## ## If you're mentionned here and want to update your information, ## either amend this file and commit it, or contact the coqdev list Abhishek Anand Abhishek Anand (@brixpro-home) Jim Apple jbapple Bruno Barras barras Bruno Barras barras-local CJ Bell CJ Bell Yves Bertot bertot Yves Bertot Yves Bertot Yves Bertot Yves Bertot Frédéric Besson fbesson Siddharth Bhat Siddharth Pierre Boutillier pboutill Pierre Boutillier Pierre Pierre Boutillier Pierre Boutillier Xavier Clerc xclerc Xavier Clerc xclerc Pierre Corbineau corbinea Judicaël Courant courant Pierre Courtieu courtieu David Delahaye delahaye Maxime Dénès mdenes Maxime Dénès Maxime Denes Olivier Desmettre desmettr Damien Doligez doligez Andres Erbsen Andres Erbsen Jim Fehrle Jim Jean-Christophe Filliâtre filliatr Jean-Christophe Filliâtre Jean-Christophe Filliatre Julien Forest jforest Julien Forest forest Julien Forest jforest Julien Forest jforest Julien Forest Julien Forest Emilio Jesus Gallego Arias Emilio Jesús Gallego Arias Gaëtan Gilbert Gaëtan Gilbert Stéphane Glondu glondu Stéphane Glondu Stephane Glondu Matěj Grabovský Matěj G Benjamin Grégoire Benjamin Gregoire Benjamin Grégoire bgregoir Benjamin Grégoire gregoire Jason Gross Jason Gross Jason Gross Jason Gross Vincent Gross vgross Huang Guan-Shieng huang Hugo Herbelin herbelin Jasper Hugunin Jasper Hugunin Tom Hutchinson thutchin Cezary Kaliszyk cek Florent Kirchner fkirchne Florent Kirchner kirchner Johannes Kloos jkloos Matej Košík Matej Kosik Matej Košík Matej Kosik Vincent Laporte Vincent Laporte Marc Lasson mlasson William Lawvere william-lawvere Pierre Letouzey letouzey Pierre Letouzey letouzey Assia Mahboubi amahboub Evgeny Makarov emakarov Gregory Malecha Gregory Malecha Gregory Malecha Gregory Malecha Lionel Elie Mamane lmamane Claude Marché marche Micaela Mayero mayero Guillaume Melquiond gmelquio Guillaume Melquiond Guillaume Melquiond Alexandre Miquel miquel Benjamin Monate monate Julien Narboux jnarboux Julien Narboux narboux Jean-Marc Notin notin,no-port-forwarding,no-agent-forwarding,no-X11-forwarding,no-pty Jean-Marc Notin notin Russell O'Connor roconnor Russell O'Connor roconnor-blockstream Christine Paulin cpaulin Christine Paulin mohring Pierre-Marie Pédrot ppedrot Clément Pit-Claudel Clément Pit--Claudel Loïc Pottier pottier Matthias Puech puech Lars Rasmusson larsr Daniel de Rauglaudre ddr Daniel de Rauglaudre Daniel de Rauglaudre Daniel de Rauglaudre Daniel De Rauglaudre Yann Régis-Gianas regisgia Yann Régis-Gianas Regis-Gianas Clément Renard clrenard Claudio Sacerdoti Coen sacerdot Kazuhiko Sakaguchi Kazuhiko Sakaguchi Vincent Siles vsiles Michael Soegtrop Michael Soegtrop <7895506+MSoegtropIMC@users.noreply.github.com> Elie Soubiran soubiran Matthieu Sozeau msozeau Matthieu Sozeau Matthieu Sozeau Matthieu Sozeau Matthieu Sozeau Arnaud Spiwack aspiwack Paul Steckler Paul Steckler Enrico Tassi gareuselesinge Enrico Tassi Enrico Tassi Enrico Tassi Enrico Tassi Enrico Tassi Enrico Laurent Théry thery Laurent Théry thery Laurent Théry Laurent Théry Anton Trunov Anton Trunov Benjamin Werner werner Théo Zimmermann Theo Zimmermann Théo Zimmermann Théo Zimmermann # Anonymous accounts anonymous < > coq anonymous < > (no author) <(no author)@85f007b7-540e-0410-9357-904b9bb8a0f7> anonymous < > serpyc