0.1-draft: the Vauchi protocols as extracted from Core main, with the claims S1 to S17 audited against the chapters (vauchi/private#119)
0.1-draft: the Vauchi protocols as extracted from Core main, with the claims S1 to S17 audited against the chapters (vauchi/private#119)