search

Bram-Hub / LEGUP

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

And Contradiction Rule Test #657

Closed charlestian23 closed 6 months ago

Chase-Grajeda commented 6 months ago

Closed by #713