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 insatiable thirst for everything which lies beyond, and which life reveals, is the most living proof of our immortality.”
    —Charles Baudelaire (1821–1867)