HN Explorer

1 comment

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