Skip to main content

Module verifier

Module verifier 

Source
Expand description

A verifier for the folding/accumulation scheme