Skip to content

WIP: Storage functor proofs

Guillaume Claret requested to merge storage-functor-proofs into master

Attempts to have abstractions over the storage.

Merge request reports