4 ms·

Only if the bug in the prover allows the bug in the prover, which seems unlikely (unless the bug is pretty huge).

• timjver 10y ago
  "seems unlikely" isn't really cutting it, when we're talking about formal systems.
• mekaj 10y ago
  Trivial, small example: the bug is the prover accepts all inputs.