diff --git a/FiniteSets/README.md b/FiniteSets/README.md index 2889222..49ff5e5 100644 --- a/FiniteSets/README.md +++ b/FiniteSets/README.md @@ -8,5 +8,6 @@ Prerequisites: the [HoTT library](https://github.com/HoTT/HoTT). 1. Generate the Makefile: `coq_makefile -f _CoqProject -o Makefile` 2. Compile the library using make: `make -j 2` +3. The HTML coqdoc can be obtained via `make html` An overview of some of the main results can be found in the file `CPP.v`