Tree Tent - rewrite basic rules w/ case + contradiction

Bram28 / LEGUP

Logic Engine for Grid-Using Puzzles - a better way to learn formal logic

GNU Affero General Public License v3.0

2 stars 8 forks source link

Closed mmellone closed 8 years ago

mmellone commented 8 years ago

not an incredibly pressing concern, but it would be nice

mmellone commented 8 years ago

This was done, with the exception of links, but we discussed that would be impractical to change.

c6faa83d36f406202eb1f2144fb1309ae057ab13