Skip to content

verify entrypoint repr.v

Andrey Klaus requested to merge ak@309-verify-Entrypoint_repr.v into master

closes #309 (closed), #296 (closed), also ports of_watermark/to_watermark proofs to proto_alpha

Edited by Andrey Klaus

Merge request reports