GitHub repository: khang200923/Predicate_Wars
Primary language: Python
Description: A card game of first-order logic