HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by tsterin | Hacker News Reader
Full thread
tsterin
·
Opus 4.6 finds proofs of false in Rocq and Lean kernels.
View on HN
No comments yet.