GitHub repository: Bram-Hub/LEGUP
Primary language: Java
Description: Logic Engine for Grid-Using Puzzles - a better way to learn formal logic