HW1 -- проверка доказательства на корректность в КИВ. HW2 -- проверка доказательства на корректность и осуществление теоремы о дедукции в ИП. Для запуска HW2 необходимы файлы lemma1.in, lemma2.in, lemma3.in HW3 -- доказательство a<=b или !a<=b. Для запуска HW3 необходимы файлы base.in, proof.in, proof1.in, Morgan.in, lemm for a'+b.in