Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
coq-tezos-of-ocaml
src
Environment
V7
Proofs
_Set.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
8b1a3685