Experimenting with ACL2 and Claude Code · HackerTrans