Logic Engine for Grid-Using Puzzles - a better way to learn formal logic
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
sinhac opened this issue 7 years ago · comments
Make it so that cells are no longer modifiable once proven.