README.md 176 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
Robbert Krebbers's avatar
Robbert Krebbers committed
7 8
 - Autosubst 1.5
 - Iris version https://gitlab.mpi-sws.org/FP/iris-coq/commit/1a17276b