constants_repr.v (!705) · Merge requests · Formal Land / Coq Tezos of OCaml 💫 · GitLab

Andrey Klaus requested to merge ak@303-verify-Constants_repr.v into master Jul 28, 2022

closes #303 (closed) #304 (closed) #307 (closed)

Edited Aug 03, 2022 by Guillaume Claret