Skip to content
GitLab

Added Actris to Case Studies in README

Merged 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.