← Back to Home
A small rhythm game to train yourself with inferences rules and proofs in simple first order logic.