'Harrison Handbook [of Practical Logic and Automated Reasoning] in Python pt 1' by @sandmouth
https://www.philipzucker.com/harrison-handbook-in-python-pt-i/