GitHub repository: Bram-Hub/ShortTruthTables
Primary language: C++
Created: 2019-01-15T01:46:37Z
Description: An interface for creating proofs using short truth tables in c++