GitHub repository: sihsob/proof-diagram
Primary language: Python
Created: 2016-04-01T17:08:43Z
Description: Visualize Fitch styled proofs in the form of argument diagrams with proof validation