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

proof verification system
.טכנול	sistema di verifica delle dimostrazioni