GitHub repository: Bram-Hub/STT-Solver
Primary language: Python
Created: 2019-01-15T01:43:46Z
Description: An automated theorem prover for short truth tables in python