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
After checking proof it asks if you want to submit, but throws exception if you say yes #93
Closed
mmellone closed 6 years ago
Just disable submit feature for now