[Iris-Club] Iris 2.0

Ralf Jung jung at mpi-sws.org
Thu Aug 4 11:15:50 CEST 2016

Hi all,

I recently tagged version 2.0 of the Iris Coq development in the git
repository.  This is the version accompanying the ICFP 2016 paper
"Higher-Order Ghost State", and compared to Iris 1.1 it is a complete

Fur further details, you can find the current version of the Iris
Documentation (should be in sync with the Coq development right now), as
well as the Coq sources and the new Iris paper, on the Iris website:

Kind regards,

More information about the Iris-Club mailing list