Terms for subject Artificial intelligence containing Checker

English	Russian
grammar checker	грамматический корректор (Alex_Odeychuk)
interactive proof checker	интерактивная система автоматического доказательства теорем (корпорации AdaCore Alex_Odeychuk)