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
Throws exception when mouse wheel turned over tree panel if no proof loaded #92
Open
mmellone opened 7 years ago