אנגלית ⇄ ליטאית רוסית +

theorem proving programme מתח
.טכנול	программа для построения доказательств