Post #1654407

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.