Prerequisites This version is known to compile with: Coq 8.5pl2 Ssreflect 1.6 Autosubst 1.5 Iris version https://gitlab.mpi-sws.org/FP/iris-coq/commit/a7e9167