The Coq Proof Assistant - Reference Manual V 5.10 (1995)

Cached

Download Links

by Cristina Cornes , Judicaël Courant , Jean-Christophe Filliâtre , Gérard Huet , Chetan Murthy , César Muñoz , Catherine Parent , Amokrane Saibi Benjamin Werner , Calcul Symbolique , Pascal Manoury , Pascal Manoury , Amokrane Saibi , Benjamin Werner , Projet Coq