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
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