Recursive Proof Composition from Accumulation Schemes.

Benedikt Bnz, Alessandro Chiesa, Pratyush Mishra, Nicholas Spooner

Browse the full TCC paper archive.