The last part of the tutorial file is still work in progress and should be finished during the next week.

We provide a flake.nix with can be used to get Rocq 9.0 and Rocq's stdlib. For that you need to install nix and run:

nix develop

Once you have Rocq available you can simply run make to build the repository using a coq_makefile