Logic Engine for Grid-Using Puzzles - a better way to learn formal logic
GNU General Public License v3.0
33
stars
82
forks
source link
Or Elimination, Or Introduction, Not Introduction, and And Introduction Test Cases #689
Closed
charlestian23 closed 10 months ago
Description
Added tests for Or Elimination, Or Introduction, Not Introduction, and And Introduction.
Closes #665, #666, #669
Type of change
How Has This Been Tested?
All the test cases pass.
Checklist: