Skip to content

Added Actris to Case Studies in README

Jonas Kastberg requested to merge jihgfee/iris-coq:actris_case_study into master

Actris is another case study built on top of Iris, with a full mechanisation that is kept up to date and is worthy of mention.

Merge request reports