We have proof automation now
Discussion on Hacker News: We have proof automation now. 14 comments, 98 points.
Why read this on grephn?
grephn turns long HN threads into a 30-second structured summary — for / against / unknowns / what it means — alongside the live discussion. Open this story in the app to skim 300+ comments without losing the signal.