Skip to content

add the script to display encoding lemmas

Shubham Kumar requested to merge shubham@encoding_lemma into master

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

Merge request reports