Skip to content

QCheck.v: defined triple_value, Test_sc: see QCheck for triple_value; replaced Z.op_plus with add to fix definition

7A1T requested to merge 143-verify-test_sc_rollup_tick_repr-v into master

Closes #143 (closed) Proofs are still required

Merge request reports