GitHub repository: Bram-Hub/python-ND-APG
Primary language: Python
Created: 2019-01-15T02:17:56Z
Description: A Natural Deduction Automated Proof Generator in python