formal-land/coq-tezos-of-ocaml

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

GitLab repository with 11 stars and 6 forks.

Language: Coq

Open provider repository