Errors with proof loading

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 aweinstock314 closed 11 years ago

aweinstock314 commented 11 years ago

The grid/transitions loaded are not the same as the ones saved.