3 ms·AI says, "A proof is a program that computes the witness."by __patchbit__ 2mo agoAI says, "A proof is a program that computes the witness."