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

This version is known to compile with:

Robbert Krebbers's avatar
Robbert Krebbers committed
5
 - Coq 8.6
Robbert Krebbers's avatar
Robbert Krebbers committed
6
 - Ssreflect 1.6
Robbert Krebbers's avatar
Robbert Krebbers committed
7
 - Autosubst coq86-devel
8
 - Iris version 094bee3c5d5faad515b419d3bf569925b22eab96