AceProof is an automated, translation-quality assurance tool to provide 100 percent accurate translation by 34 checks in five groups of errors.