Interactive Proof

Interactive proof can refer to:

  • The abstract concept of an Interactive proof system
  • Interactive theorem proving software

Famous quotes containing the word proof:

    “The fact that several men were able to become infatuated with that latrine is truly the proof of the decline of the men of this century.”
    —Charles Baudelaire (1821–1867)