---
tag: ZMMYNZAF2N
kind: statement
role: theorem
name: Theorem provers
sources:
  - wikipedia: en:31103500@r1371245021
    locator: Reasoning system, section Types of reasoning system > Theorem provers
    note: adopted
    mention: wikipedia://en/31103500#OCYH
    sections: [Statement]
inventory: [HMEM125EQE]
---

## Statement

Theorem provers use automated reasoning techniques to determine [[proofs|0B94TKFQJX]] of mathematical theorems. They may also be used to verify existing proofs. In addition to academic use, typical applications of theorem provers include verification of the correctness of integrated circuits, software programs, engineering designs, etc.