Verify Operation_repr.v (!182) · Merge requests · Formal Land / Coq Tezos of OCaml 💫 · GitLab

Evan Marzion requested to merge operation-repr into master Dec 17, 2021

Addresses https://gitlab.com/foobar-land/roadmap-coq-tezos-of-ocaml/-/issues/45

Edited Dec 25, 2021 by Guillaume Claret