GitHub repository: willnalls/kingsandaces
Created: 2019-02-06T20:17:07Z
Description: An interactive program for learning modal logic via the simple game Kings and Aces.