GitHub repository: AaronPerl/TFTrees
Primary language: Java
Created: 2016-02-12T00:03:20Z
Description: A Java application for users to solve truth trees.