Claude Can (Sometimes) Prove It

[lairv]

Article URL: https://www.galois.com/articles/claude-can-sometimes-prove-it

Comments URL: https://news.ycombinator.com/item?id=45275058

Points: 56

# Comments: 11