Commit 078590ff authored by Jacques-Henri Jourdan's avatar Jacques-Henri Jourdan

udpate Readme.

parent f508c521
......@@ -3,7 +3,7 @@
The project is known to compile with:
* Coq 8.7.2
* coq-iris dev.2018-11-01.3.19aae59a (development version of Iris)
* coq-tlc 20180316 (for the proof of union-find)
* coq-tlc 20181116 (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