Comment Comment by spott Only if the bug in the prover allows the bug in the prover, which seems unlikely (unless the bug is pretty huge). parent spott 10 years ago
