GitHub repository: Bram-Hub/TFTrees
Primary language: Java
Created: 2019-01-15T01:56:14Z
Description: An interface for creating proofs with Truth Trees