Well, I have to say I am on painkillers these days, but I wrote this.

https://lispy-gopher-show.itch.io/dl-roc-lisp/devlog/1497995/hexagons-common-lisp-interface-manager-graphics-and-acl2-first-order-logic-automatic-proofs-in-one-place

#McCLIM #acl2 #commonLisp #programming #logic #graphics #hextille

sharpsign logically drawing hexagons.

Edit: It's about a single lisp source spanning both common lisp interface manager and acl2 first order logic.