Skip to main content

🐆 Tx_rollup_l2_proof.v

Translated OCaml

See proofs, Gitlab , OCaml

File generated by coq-of-ocaml