ended8월 2일· 1 sources
Postmortem for Kernel Soundness Bug #14576
Why it matters
Postmortem for Kernel Soundness Bug #14576 A soundness bug in the Lean kernel (#14576) was reported and fixed during the week of July 27. It has had visibility on Zulip and social media (e.g., X, Link...
1
Sources
+0
24h
—
Growth
50d
Active