Fetching the paper…

Post hoc verification with a single prover · Around