COMPILATION, INSTALLATION, AND DOCUMENTATION:
This library requires Coq 8.15, available via opam or from the Coq website [https://coq.inria.fr/download].
To compile the library:
`make` generate Coq makefile, compile Coq files
`make doc` generate Coq documentation
`make install` install library on your system