tl;dr: For now, see our Hyperproofs paper1.
$$ \def\Adv{\mathcal{A}} \def\Badv{\mathcal{B}} \def\vect#1{\mathbf{#1}} $$
PREVIOUSCatalano-Fiore VCs
tl;dr: For now, see our Hyperproofs paper1.
$$ \def\Adv{\mathcal{A}} \def\Badv{\mathcal{B}} \def\vect#1{\mathbf{#1}} $$