package rocq-vst-ora
Ordered Resource Algebras for Iris
Install
Dune Dependency
Authors
Maintainers
Sources
v1.2.1.tar.gz
sha256=39a590149678f1ff06c57ee6faf6dca167428070e79d30f2c384414028fe5e7f
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: 26 Aug 2026
On This Page