Commit 89d9714d authored by Jacques-Henri Jourdan's avatar Jacques-Henri Jourdan
Browse files


parent 64d55fe6
......@@ -2,7 +2,7 @@
The project is known to compile with:
* Coq 8.7.2
* coq-iris dev.2018-10-13.0.7041c043 (development version of Iris)
* coq-iris dev.2018-11-01.3.19aae59a (development version of Iris)
* coq-tlc 20180316 (for the proof of union-find)
### Step 1: Install opam
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment