GitHub repository: worldyn/proofchecker
Primary language: Prolog
Created: 2017-10-06T12:50:50Z
Description: Check if a natural deduction proof is valid