Experimenting with ACL2 and Claude Code(mikedodds.org)1 ポイント·投稿者 calstad·9 か月前·0 コメントmikedodds.orgExperimenting with ACL2 and Claude Codehttps://mikedodds.org/posts/2025/10/claude-code-acl2-experiments0 コメントコメントを投稿—