GitHub repository: DennisDv24/Gentzen-Forest
Primary language: Python
Description: Gentzen Forest is a system that applies Gentzen demostration system to logic trees