logic-educational

Here are 2 public repositories matching this topic...

Original Java-based logical tree engines (2002–2004) for visualizing propositional and first-order logic, recursion, and formal reasoning.

SixSeven Studio v5 – Offline puzzle generator with SVG export, barcode creation, and multi-type logic puzzles.

python svg offline barcode tkinter puzzles hidato futoshiki ttkbootstrap tents-and-trees arukone no-four-in-row logic-educational

Add a description, image, and links to the logic-educational topic page so that developers can more easily learn about it.

To associate your repository with the logic-educational topic, visit your repo's landing page and select "manage topics."