Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Formal Land
Coq Tezos of OCaml 馃挮
Issues
#220
Verify simulation for diff_of_big_map
Requires
https://gitlab.com/nomadic-labs/coq-tezos-of-ocaml/-/issues/218