Protocol env coq-of-ocaml check 🐔
Check that the protocol's environment is compatible with coq-of-ocaml
. By compatible, we mean that it both:
- translates to Coq without warnings;
- compiles in Coq.
In order to do that, I think we should have coq
as a (development) dependency of Tezos.
Edited by Guillaume Claret