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:

    “There is no better proof of a man’s being truly good than his desiring to be constantly under the observation of good men.”
    —François, Duc De La Rochefoucauld (1613–1680)