README.md 159 Bytes
Newer Older
Robbert Krebbers's avatar
Robbert Krebbers committed
1 2 3 4 5 6
# Prerequisites

This version is known to compile with:

 - Coq 8.5pl1
 - Ssreflect 1.6
7
 - Iris version https://gitlab.mpi-sws.org/FP/iris-coq/commit/b3d2ff9b