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:

    War is a beastly business, it is true, but one proof we are human is our ability to learn, even from it, how better to exist.
    M.F.K. Fisher (1908–1992)