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
List.v
Find file
Blame
History
Permalink
Partial translation of proto-alpha
· f6934432
Guillaume Claret
authored
Sep 14, 2022
and
Natasha Klaus
committed
Sep 14, 2022
f6934432
Loading
f6934432