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

generic proof assistant מתח
.בינה	система автоматического доказательства теорем общего назначения (Alex_Odeychuk)