working with coq and tezos - View it on GitHub