Next generation modality for Iris.
The main
branch is currently developed using Coq version 8.17.1. and coq-equations version 1.3+8.17
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