Lean Now Ships with Verified Kernels
By matt_d · 2026-10-16 · 1 points · 0 comments
https://leodemoura.github.io/blog/2026-10-15-lean-now-ships-with-verified-kernels/
By matt_d · 1 points · 0 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews