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
Revert "Merge updated binary puzzle, proof editor, puzzle editor, home panel, bug fixes" #857
Closed
jadeandtea closed 3 weeks ago
Reverts Bram-Hub/LEGUP#852 Preparing to merge summer semester commits into dev rather than master.