Module arrabbiata::decider::verifier

source ·
Expand description

A verifier for the folding/accumulation scheme