The Coq proof assistant users guide : version 5.6Reportar como inadecuado




The Coq proof assistant users guide : version 5.6 - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

1 INRIA Rocquencourt

Résumé : pas de resume





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

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



DESCARGAR PDF




Documentos relacionados