אנגלית ⇄ איטלקית גרמנית יוונית ספרדית צרפתית רוסית +

proof verification system
.טכנול	système de vérification de preuve