Coq Tezos of OCaml 💫

Project information

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

2,528 Commits
181 Branches
0 Tags

README
MIT License
GitLab Pages

Created on

July 08, 2020

Loading