For example, an automated theorem prover or theorem checker can increase a programmer's (or language designer's) confidence in the correctness of proofs about programs (or the language itself).
Наприклад, Автоматизоване доведення теорем або перевірка теорем може збільшити впевненість програміста (або дизайнера мови) у правильності доведень про програми (або самої мови).