Experimenting with ACL2 and Claude Codehttps://mikedodds.org/posts/2025/10/claude-code-acl2-experiments by calstad • 10 months ago 1 0 10 months agoMImikedodds.org