Hacker News new | ask | show | jobs
Experimenting with ACL2 and Claude Code (mikedodds.org)
1 points by calstad 246 days ago