Merge updated binary puzzle, proof editor, puzzle editor, home panel, bug fixes

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

Merge updated binary puzzle, proof editor, puzzle editor, home panel, bug fixes #851

Closed zacharybonagura closed 2 months ago

zacharybonagura commented 2 months ago

Merge updated binary puzzle, including new rules, images, functionality. New look and functionality for proof editor. New look and functionality for puzzle editor. Revised home panel. Many bug fixes throughout the engine