Brittany Nkounkou
August 2020

1. install Coq (this project works with version 8.11.0): https://coq.inria.fr/download

2. build the Makefile: coq_makefile -f _CoqProject -o Makefile

3. run the Coq files (line 94 of FamExs.v might take about 10 minutes): make

4. clean the Coq files: make clean
