## 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 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 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 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 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 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 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 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 Vincent Siles vsiles Elie Soubiran soubiran Matthieu Sozeau msozeau Matthieu Sozeau Matthieu Sozeau Arnaud Spiwack aspiwack Enrico Tassi gareuselesinge Enrico Tassi Enrico Tassi Enrico Tassi Enrico Tassi Laurent Théry thery Laurent Théry thery 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