WORK IN PROGRESS
The formalization is present in theories/
To build the project install Mathematical Components (version 2.3.0) using opam and execute make in the base directory.
Alternatively, if you are using nix you can execute nix develop and thereafter make in the base base directory.