This library compiles with Coq8.4pl6 .
For compatibility with Coq version 8.5beta2 , 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
Enhanced documentation [requires markdown]
produces enhanced HTML documentation with a table of contents in line with the article
requires the markdown tool
$ make doc