HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by tsterin | Hacker News Reader
1 point
·
tsterin
·
·
1 comment
View on HN
tsterin
(original poster)
·
Opus 4.6 finds proofs of false in Rocq and Lean kernels.
Reply on news.ycombinator.com