Postmortem for Kernel Soundness Bug #14576

Leonardo de Moura — Creator of Lean and Z3

161 points by juhopitk 81 days ago leodemoura.github.io 62 comments

Summary not yet generated for this article.

Comments (62 of ) ⌛

Loading more comments... ⌛

Scroll down to load more comments

No comments available.