.gitmodules 82 Bytes
Newer Older
1 2 3
[submodule "iris"]
	path = iris
	url = https://gitlab.mpi-sws.org/FP/iris-coq.git