wip short-circuiting proof composition#164

L-as wants to merge 1 commit intocompatiblezeko-labs/zeko:compatiblefrom

short-circuiting-proof-compositionzeko-labs/zeko:short-circuiting-proof-compositionCopy head branch name to clipboard