This repository contains the examples and exercises I completed while reading the Software Foundation series.
-
Basics.v
-
Induction.v
To generate the Makefile, used to build the project, run the following from each subdirectory.
coq_makefile -f _CoqProject *.v -o Makefile