Experimenting with ACL2 and Claude Code

1 points| calstad | 5 months ago |mikedodds.org