We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 18fa8c2 commit a8aac46Copy full SHA for a8aac46
README.md
@@ -52,8 +52,8 @@ There are a few files that are optional reading which make the tutorial work:
52
53
## Compiling
54
55
-This development relies on a development version of Iris and Coq 8.17 or later.
56
-We test Coq 8.17, 8.18, and master with Iris dev in CI. (The released
+This development relies on a development version of Iris and Coq 8.18 or later.
+We test 8.18, 8.19, and master with Iris dev in CI. (The released
57
version of Iris is currently incompatible.)
58
59
You'll need to install Iris, which is easiest done through opam. There are
0 commit comments