adniofa9nidndd

A small rhythm game to train yourself with inferences rules and proofs in simple first order logic.
Rhythm
Play in browser