← Back to newsLean now ships with verified kernelsOriginal articleleodemoura.github.io|186 points|66 comments|by matt_d|Oct 16, 2026