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
#211
Have complete translation of the protocol J
Actually, version J of the protocol is not completely translated, and we promised it.