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 馃挮
Repository
coq-tezos-of-ocaml
src
Environment
V7
Proofs
TzEndian.v
Find file
Blame
History
Permalink
Environment: migrate the proofs to V7
· 8b1a3685
Guillaume Claret
authored
Sep 19, 2022
and
Natasha Klaus
committed
Sep 19, 2022
8b1a3685