Home My Page Projects Coq
Summary Activity Lists SCM

Project Member List

If you would like to contribute to this project by becoming a member, contact one of the project admins, designated in bold text below.

Member User Name Role(s)/Position(s)
Leo Freitas
leouk User
Hugo Herbelin
herbelin Admin
Jean-Marc Notin
notin Admin
Bruno Barras
barras Admin
Pierre letouzey
letouzey Admin, Developer
Matthieu Sozeau
msozeau Admin, Developer
Enrico Tassi
gareuselesinge Developer
Vincent Gross
vgross Developer
Jean-Christophe Filliâtre
filliatr Developer
Claude Marché
marche Developer
Matthias Puech
puech Developer
Mathieu Boespflug
mboes Developer
Pierre Courtieu
courtieu Developer
Laurent Théry
thery Developer
Russell O'Connor
roconnor Developer
Frédéric BESSON
fbesson Developer
Florent Kirchner
fkirchne Developer
Roland Zumkeller
zumkeller Developer
Pierre-Yves Strub
strub Developer
Maxime Beauquier
beauquie Developer
Loïc Pottier
pottier Developer
Elie Soubiran
soubiran Developer
Pierre-Marie Pédrot
ppedrot Developer
Arnaud Spiwack
aspiwack Developer
Vincent Siles
vsiles Developer
Christine PAULIN-MOHRING
cpaulin Developer
Assia Mahboubi
amahboub Developer
Pierre Boutillier
pboutill Developer
Julien Narboux
jnarboux Developer
Cezary Kaliszyk
cek Developer
Yann Régis-Gianas
regisgia Developer
Evelyne Contejean
contejea Developer
Julien Forest
jforest Developer
Jacek Chrząszcz
chrzaszc Developer
Claudio Sacerdoti Coen
sacerdot Developer
Evgeny Makarov
emakarov Developer
Stéphane LESCUYER
lescuyer Developer
Stephane Glondu
glondu Developer
Benjamin Werner
werner Developer
Benjamin Gregoire
bgregoir Developer
pierre Castéran
casteran Developer
Lionel Mamane
lmamane Developer
Yves Bertot
bertot Developer
Pierre Corbineau
corbinea Developer
G Serpyc
serpyc Developer
Micaela Mayero
mayero Developer
David Delahaye
delahaye Developer
Maxime Dénès
mdenes Developer
Xavier Clerc
xclerc Developer
Milad Niqui
milad Developer
Matej Košík
kosik Developer
Théo Zimmermann
theozim Developer
Guillaume Melquiond
gmelquio Contributor
Sylvie Boldo
sboldo Contributor