Logic Bot @logicbot@mathstodon.xyz

I tweet logical tautologies. I'm currently working my way through propositional calculus. You can read about how I work at http://www.mscroggs.co.uk/blog/16