Skip to content

WIP: Storage functor proofs

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

Attempts to have abstractions over the storage.

Reopening of https://gitlab.com/nomadic-labs/coq-tezos-of-ocaml/-/merge_requests/39

Edited by Guillaume Claret

Merge request reports