Postmortem for the Lean Kernel Soundness Bug Hunt
By EvgeniyZh · 2026-08-24 · 1 points · 0 comments
https://leodemoura.github.io/blog/2026-8-24-postmortem-for-the-kernel-soundness-bug-hunt/
By EvgeniyZh · 1 points · 0 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews