Coq Tezos of OCaml πŸ’«

Coq Tezos of OCaml πŸ’«

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