4 ms·Opus 4.6 finds proofs of false in Rocq and Lean kernels.by tsterin 7mo agoOpus 4.6 finds proofs of false in Rocq and Lean kernels.