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

theorem prover
.טכנול	demostrador de teoremas