Module resource 

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

Modules

ghost_resource

pcm

Partial commutative monoid (PCM) based resource algebras.

storage_protocol