GitHub repository: zbrckovic/entail-core
Primary language: JavaScript
Description: Construct first-order logic proofs in the system of natural deduction.