Coq Tezos of OCaml πŸ’«

Coq Tezos of OCaml πŸ’«

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