1# `folding-schemes-solidity` 2 3This crate implements templating logic to output verifier contracts for `folding-schemes`-generated decider proofs.
arnaucubearnaucube