Small proofs to pick up the ropes (by Corneliu) (!117) · Merge requests · Formal Land / Coq Tezos of OCaml 💫 · GitLab

Guillaume Claret requested to merge clarus@corneliu@small-proofs into master Nov 18, 2021

Follow up of https://gitlab.com/nomadic-labs/coq-tezos-of-ocaml/-/merge_requests/65