Skip to content

GitLab

Why GitLab
Pricing
Contact Sales
Explore

Sign in
Get free trial

Shubham Kumar
Coq Tezos of OCaml

Coq Tezos of OCaml

Project information

A translation in Coq of the economic protocol of Tezos https://nomadic-labs.gitlab.io/coq-tezos-of-ocaml/

1,294 Commits
19 Branches
0 Tags

README
MIT License

Created on

September 26, 2021

Copy SSH clone URLgit@gitlab.com:shubham-kumar/coq-tezos-of-ocaml.git
Copy HTTPS clone URLhttps://gitlab.com/shubham-kumar/coq-tezos-of-ocaml.git