soft3/conformance/fixtures/zheng/quote-branch.proof ฯ 0.0% 8 words ยท 1 min Binary file: soft3/conformance/fixtures/zheng/quote-branch.proof Size: 1.2 KB Type: proof Graph Graph