proofs: honest prover gate — absent prover = fail, z3 expect-checked, Print Assumptions gated, Agda 4/4 --safe (4b–4d) - #172

proofs: honest prover gate — absent prover = fail, z3 expect-checked, Print Assumptions gated, Agda 4/4 --safe (4b–4d)#172

hyperpolymath merged 4 commits into

mainhyperpolymath/absolute-zero:mainfrom

fix/4b-4d-prover-honestyhyperpolymath/absolute-zero:fix/4b-4d-prover-honestyCopy head branch name to clipboard