Bug.md 193 Bytes
Newer Older
Ralf Jung's avatar
Ralf Jung committed
1 2 3 4 5 6 7 8
<!--

When reporting a bug, please always include the version of Iris you are using.
If you are using opam, you can determine your Iris version by running

  opam show coq-iris -f version

-->