package coq-vst-ora
Ordered Resource Algebras for Iris
Install
Dune Dependency
Authors
Maintainers
Sources
v1.1.tar.gz
sha256=90e7164623dc8a67a41868b24a62a4b491d8e2fef03b0f8a6a239af747a37aaa
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: 24 Feb 2026
On This Page