GitHub repository: nbice1/Sentential-Logic
Primary language: Python
Created: 2017-07-30T02:20:22Z
Description: This program can both determine the truth-value of complex formulas and construct proofs.