HN Explorer

1 comment

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