package rocq-actris
A framework for session protocol reasoning in Iris
Install
Dune Dependency
Authors
Maintainers
Sources
actris-4.5.0.tar.gz
sha512=e7ad90f208c5e8628e8e58139bdd2d25c9873cc8df720e92f1fba8f845a570a9ff9cb63d04a1dd78c82d6e77f0be41720f06e05ed1e9759781fac42d3b777b5f
Description
Tags
date:2026-10-06 logpath:actris logpath:linear_actris logpath:linking_actris logpath:mini_actris logpath:multrisPublished: 06 Oct 2026
On This Page