1. Logic and Semantics
  2. Everything
  3. iris-logrel

Overview

HTTPS SSH
# Prerequisites This version is known to compile with: - Coq 8.6 - Ssreflect 1.6 - Autosubst coq86-devel - Iris 3.0 version https://gitlab.mpi-sws.org/FP/iris-coq/commit/783e8a10