Verification of Dal_apply.v and others (!923) · Merge requests · Formal Land / Coq Tezos of OCaml 💫 · GitLab

Guillaume Claret requested to merge guillaume-claret@more-internal-errors-proofs into master Oct 30, 2022

Fix #500 (closed) #567 (closed) #551 (closed) #662 (closed) #652 (closed)

Edited Oct 31, 2022 by Guillaume Claret