package rocq-vst-ora
Ordered Resource Algebras for Iris
Install
Dune Dependency
Authors
Maintainers
Sources
v1.2.tar.gz
sha256=dd0c11a2cf64eadfde4b7a61e31349dbb7a66f67cd2a9b4924e2ca0f18b31722
Description
The Ordered Resource Algebra (ORA) logic is a variant of the Iris base logic that allows use of both linear and affine resources.
Published: 16 Jul 2026
On This Page