To compile use make. This project has been tested using the following dependencies (packages) installed via opam:

Name	Installed	Synopsis
coq	8.20.1	The Coq Proof Assistant
coq-stdpp	dev.2025-01-17.0.9e1cd491	An extended "Standard Library" for Coq
ocaml	5.3.0	The OCaml compiler (virtual package)