e/Automated proof checking

Information
has gloss	eng: 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.
lexicalization	eng: automated proof checking
instance of	e/Formal methods

Meaning
Persian
has gloss	fas: بررسی برهان خودکار در علوم رایانه به فرایند استفاده از نرم‌افزار برای بررسی درستی برهان‌های ریاضی است. بررسی برهان خودکار یکی از توسعه‌یافته‌ترین شاخه‌های استدلال خودکار به شمار می‌آید.
lexicalization	fas: بررسی برهان خودکار