Module arrabbiata::decider::prover

A prover for the folding/accumulation scheme

Functions

• prove
  Generate a proof. All the information to make a proof is available in the environment given in parameter.