Theorem Prover

Theorem prover may refer to:

  • Automated theorem prover
  • Proof assistant, an interactive theorem prover

Famous quotes containing the word theorem:

    “To insure the adoration of a theorem for any length of time, faith is not enough, a police force is needed as well.”
    —Albert Camus (1913–1960)