Implemented the rule handling methods for the five connectives, and the needed structures#194
Open
SarahAyman wants to merge 22 commits intoJava-SNePS:masterfrom
Open
Implemented the rule handling methods for the five connectives, and the needed structures#194SarahAyman wants to merge 22 commits intoJava-SNePS:masterfrom
SarahAyman wants to merge 22 commits intoJava-SNePS:masterfrom
Commits
Commits on Apr 1, 2019
Commits on Apr 5, 2019
Commits on Apr 10, 2019
Commits on Apr 18, 2019
Commits on Apr 28, 2019
- committed
- committed
- committed
Commits on Apr 29, 2019
Commits on May 2, 2019
- committed
Commits on May 10, 2019
Commits on May 11, 2019
Commits on May 14, 2019
Commits on May 17, 2019
Commits on May 18, 2019
Commits on May 21, 2019
- committed
Commits on May 22, 2019
Commits on May 31, 2019
Commits on Jun 29, 2020
- committed
