soft3/conformance/fixtures/zheng/pcs-eval.proof ฯ 0.0% 8 words ยท 1 min Binary file: soft3/conformance/fixtures/zheng/pcs-eval.proof Size: 251 B Type: proof Graph Graph