Working through "Coq in a Hurry" https://cel.archives-ouvertes.fr/inria-00001173v6/document
Primary LanguageCoq
No issues in this repository yet.