A natural deduction tool for CSI5110 term project
Built with JavaScript and implemented 11 basic natural deduction rules. Here is a live preview: http://yizhiheng.github.io/Natural-Deduction-Proof-Assistant/
yizhiheng/Natural-Deduction-Proof-Assistant
A JavaScript natural deduction tool for CSI5110 term project
JavaScript