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
A Mastodon instance for maths people. The kind of people who make \(\pi z^2 \times a\) jokes.
\) for inline LaTeX, and
\] for display mode.