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

proof verification system
.טכנול	System zur Verifikation von Beweisen