The Coq Proof Assistant - Reference Manual Version 6.1 (1997)

Cached

Download Links

by Jean-Christophe Filliâtre , Hugo Herbelin , Bruno Barras , Bruno Barras , Samuel Boutin , Eduardo Giménez , Samuel Boutin , Gérard Huet , César Muñoz , Cristina Cornes , Cristina Cornes , Judicaël Courant , Judicael Courant , Chetan Murthy , Chetan Murthy , Catherine Parent , Catherine Parent , Christine Paulin-mohring , Christine Paulin-mohring , Amokrane Saibi , Amokrane Saibi , Benjamin Werner , Benjamin Werner
Citations:2 - 0 self