This release fixes a critical bug in CD (constructive dilemma) and DD (destructive dilemma) rules for natural deduction, as well as the stack overflow exception thrown by the parse tree viewer.
This release fixes a critical bug in CD (constructive dilemma) and DD (destructive dilemma) rules for natural deduction, as well as the stack overflow exception thrown by the parse tree viewer.