Skip to content

Add generators to support proof generation for small circuits

Raphael Toledo requested to merge raph@fix-small-tests into master

c.f. #84 (closed)

Adding a new generator for circuit of size 2.

Edited by Raphael Toledo

Merge request reports