add the script to display encoding lemmas
This script creates an encoding.md
from the encoding lemmas in src/Proto_alpha/Proofs
Fix https://gitlab.com/nomadic-labs/coq-tezos-of-ocaml/-/issues/57
Edited by Guillaume Claret
This script creates an encoding.md
from the encoding lemmas in src/Proto_alpha/Proofs
Fix https://gitlab.com/nomadic-labs/coq-tezos-of-ocaml/-/issues/57