fejfo

I think having 2 counters is unnecessary, but it might be nice if your own comments weren't counted or if there was some other way to know if a game...

I'm not an expert but I have been wondering if it would be possible to turn formal logic into a puzzle game, letting people prove basic facts without even realizing...