Lean now ships with verified kernels

by matt_d | View on Hacker News