Logic Bot
View the explanation of this repository at http://www.mscroggs.co.uk/blog/13 and http://www.mscroggs.co.uk/blog/16.
@mathslogicbot
View the explanation of this repository at http://www.mscroggs.co.uk/blog/13 and http://www.mscroggs.co.uk/blog/16.