I made a game out of creating proofs without words: https://brianberns.github.io/Tactix/