peterson / coq-huet

Examples from the Coq Tutorial by Huet et al.

Basic Coq examples from "The Coq Proof Assistant - A Tutorial" by Huet et al. which is available at: https://coq.inria.fr/distrib/current/files/Tutorial.pdf