Module verifier

Module verifier 

Source
Expand description

A verifier for the folding/accumulation scheme