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 chief contribution of Protestantism to human thought is its massive proof that God is a bore.”
    —H.L. (Henry Lewis)