The Coq proof assistant users guide : version 5.6Report as inadecuate




The Coq proof assistant users guide : version 5.6 - Download this document for free, or read online. Document in PDF available to download.

1 INRIA Rocquencourt

Résumé : pas de resume





Author: Gilles Dowek - Amy Felty Hugo Herbelin Gérard Huet Benjamin Werner Christine Paulin-Mohring

Source: https://hal.archives-ouvertes.fr/



DOWNLOAD PDF




Related documents