Next generation modality for Iris.
The main
branch is currently developed using Coq version 8.17.1.
The project uses submodules for its dependencies. To clone it and the associated submodules use the following command:
git submodule update --init --recursive
The following git command updates all the submodules:
git submodule update --remote --merge