Привет, матачане! Знает кто, а существуют ли генераторы деревьев доказательства в Gentzen-style? Всякие tablaux генераторы прошу не предлагать, нужны деревья именно в Gentzen-style. Заранее спасибо!