dan/HITs-Examples
1
0
Fork 0
mirror of https://github.com/nmvdw/HITs-Examples synced 2025-11-03 07:03:51 +01:00
Code Issues Releases Wiki Activity

HTML building instructions

Browse Source
This commit is contained in:
Dan Frumin
2017-10-11 13:42:20 +02:00
parent 604a2659df
commit f9aee7ef23
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
FiniteSets/README.md
View File

@@ -8,5 +8,6 @@ Prerequisites: the [HoTT library](https://github.com/HoTT/HoTT).
1. Generate the Makefile: `coq_makefile -f _CoqProject -o Makefile` 1. Generate the Makefile: `coq_makefile -f _CoqProject -o Makefile`
2. Compile the library using make: `make -j 2` 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` An overview of some of the main results can be found in the file `CPP.v`