Thanks to Mertcan Temel for supplying these pictures from ACL2 Workshop 2018!
Click here to download a .zip file with all of the full-sized versions of the images below.
Click each image below to view its full-sized version in a new tab or window.
