This library compiles with Coq8.4pl6 [1].
For compatibility with Coq version 8.5beta2 [2], use branch V8.5beta2.
A version with universe polymorphism is available in branch V8.5beta2-w-poly
$ make all
produces the HTML documentation as provided by the coqdoc tool
$ make html
produces enhanced HTML documentation with a table of contents in line with the article
requires the markdown tool
$ make doc