Added proof for substr_l_eq (!528) · Merge requests · Formal Land / Coq Tezos of OCaml 💫 · GitLab

The source project of this merge request has been removed.

Rex Yuan requested to merge (removed):master into master May 29, 2022

Added the proof along with helper lemma for substr_l_eq