Telecharger Cours

Une introduction rapide `a Coq - Inria

Pour utiliser Coq on dispose de trois commandes, une commande qui sert `a compiler des fichiers (coqc), une commande qui fournit une boucle d'interaction.



Download