Predicate Wars is a card game based heavily on predicate logic, including formal statements, and logical inferences, with highly flexible gameplay. A Calvinball-like game but for actual nerds who actually want to win the game. Rulebook.
-
Notifications
You must be signed in to change notification settings - Fork 2
A card game of first-order logic
License
khang200923/Predicate_Wars
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
About
A card game of first-order logic
Topics
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published