GitHub repository: niallpaterson/befriending-the-boolean
Primary language: JavaScript
Created: 2020-03-31T07:38:40Z
Description: Simple game in which user must write distinct, logically equivalent sentences of propositional logic.