This project depends on Coq 8.12 or 8.13, MathComp ssreflect 1.11 or 1.12, and MathComp finmap 1.5.
Version 2 of opam is needed.
To get the coq-released repo for opam 2, run:
opam repo add coq-released https://coq.inria.fr/opam/released
To install the dependencies run:
opam install . --deps-only
make
make coqdoc
The generated documentation will be in docs/coqdoc.
The documentation is generated with CoqdocJS: https://github.com/palmskog/coqdocjs
This project is under the MIT licence. More details can be found in the file LICENSE and at https://mit-license.org/
We acknowledge suport from the Research Council of Norway in the context of the project AUTOPROVING - Automated Theorem Proving From the Mindset of Parameterized Complexity Theory (Proj. Number 288761).