GitHub repository: yizhiheng/Natural-Deduction-Proof-Assistant
Primary language: JavaScript
Description: A JavaScript natural deduction tool for CSI5110 term project