GitHub repository: zbrckovic/entail-ui
Primary language: JavaScript
Created: 2020-07-20T17:51:04Z
Description: Construct first-order logic proofs in the system of natural deduction.