version française rss feed
HAL : inria-00001173, version 5

Fiche détaillée  Récupérer au format
3ème cycle (2010) 43 pages
Versions disponibles :
Coq in a Hurry
Yves Bertot 1

These notes provide a quick introduction to the Coq system and show how it can be used to define logical concepts and functions and reason about them. It is designed as a tutorial, so that readers can quickly start their own experiments, learning only a few of the capabilities of the system. A much more comprehensive study is provided in [1], which also provides an extensive collection of exercises to train on.
1 :  MARELLE (INRIA Sophia Antipolis)
Informatique/Logique en informatique
Liste des fichiers attachés à ce document : 
coq-hurry.pdf(301.7 KB)
coq-hurry.ps(479.5 KB)

tous les articles de la base du CCSd...