Automated proof checking

（重定向自Proof checking）

Automated proof checking is the process of using software for checking proofs for correctness. It is one of the most developed fields in automated reasoning.

Automated proof checking differs from automated theorem proving in that automated proof checking simply mechanically checks the formal workings of an existing proof, instead of trying to develop new proofs or theorems itself. Because of this, the task of automated proof verification is much simpler than that of automated theorem proving, allowing automated proof checking software to be much simpler than automated theorem proving software.

单词	Proof checking
释义	Proof checking 英语百科 Automated proof checking （重定向自Proof checking） Automated proof checking is the process of using software for checking proofs for correctness. It is one of the most developed fields in automated reasoning. Automated proof checking differs from automated theorem proving in that automated proof checking simply mechanically checks the formal workings of an existing proof, instead of trying to develop new proofs or theorems itself. Because of this, the task of automated proof verification is much simpler than that of automated theorem proving, allowing automated proof checking software to be much simpler than automated theorem proving software.
随便看	current compensational method的意思 current compensator的意思 current component的意思 current computing technology的意思 current concentration的意思 current condenser的意思 current condition的意思 current conditions的意思 current conducing的意思 current conducting的意思 currentconducting的意思 current conducting plate的意思 current conducting rod的意思 current configuration的意思 current connect group的意思 current connection tab的意思 current constant的意思 current constants的意思 current consumer的意思 current consuming的意思 current consuming apparatus的意思 current consumption的意思 current contact nozzle的意思 current content of accounting file的意思 Current Contents的意思