TY  - RPRT
TI  - Darlin: Recursive Proofs using Marlin
AU  - Ulrich Haböck
AU  - Alberto Garoffolo
AU  - Daniele Di Benedetto
PY  - 2021
UR  - https://arxiv.org/abs/2107.04315
ID  - 2107.04315
ER  -