Skip to main content

Module resource

Module resource 

Source
Expand description

Resource algebras based on Iris PCM and Leaf storage-protocol.

Modulesยง

ghost_resource
Ghost resources available for use in proofs.
storage_protocol
Leaf-style storage protocol monoids.