---
title: Lean now ships with verified kernels
link: https://leodemoura.github.io/blog/2026-10-15-lean-now-ships-with-verified-kernels/
source: hnrss-org
published: 2026-10-16T06:16:13Z
updated: 2026-10-16T06:16:13Z
first_seen: 2026-10-18T11:38:20.507632497Z
authors:
- matt_d
content: feed
html: 2026-10-16-lean-now-ships-with-verified-kernels.html
extra:
  comments_url: https://news.ycombinator.com/item?id=50114758
  num_comments: 50
  points: 147
---