HN Explorer

1 comment

[ 3.8 ms ] story [ 29.4 ms ] thread
tsterin
Opus 4.6 finds proofs of false in Rocq and Lean kernels.