Lean now ships with verified kernels

Posted 3 days ago by matt_d
196 points

https://leodemoura.github.io/blog/2026-10-15-lean-now-ships-with-verified-kernels/

9 comments

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..