Hacker News new | ask | show | jobs
by brianberns 406 days ago
I made a game out of creating proofs without words: https://brianberns.github.io/Tactix/