Skip to content

Progress on Main.v

Guillaume Claret requested to merge guillaume-claret@verifying-Tx_rollup_l2_apply.v into master

Various proofs, especially for the Main.v file, but nothing complete yet.

Edited by Guillaume Claret

Merge request reports