seq-calc Sequent calculus for classical logic Секвенциальное исчисление для классической логики. Проект в стадии разработки.
