Skip to content

Draft: Ongoing branch with changes to compile the protocol to Coq 馃悢

Guillaume Claret requested to merge clarus1/tezos:guillaume-claret@proto_alpha-coq-of-ocaml into master

Context

A version of proto_alpha which compiles to Coq, used for https://nomadic-labs.gitlab.io/coq-tezos-of-ocaml/ Not intended to be merged as it is.

chicken_run

Edited by Guillaume Claret

Merge request reports