Judicael Courant, Jean-Christophe Filliâtre, Eduardo Gimenez, Hugo Herbelin, Gerard Huet (0)

by Bruno Barras, Samuel Boutin, Cristina Cornes
Venue:Pascal Manoury, Cesar Mu~noz, Chetan Murthy, Catherine Parent, Christine Paulin-Mohring, Amokrane Sabi and Benjamin Werner. The Coq Proof Assistant, Reference Manual, Version