bn:03746925n
Noun Concept
SYL
No term available
EN
Automated proof checking is the process of using software for checking proofs for correctness. Wikipedia
Sources