-
DataHoarderRelated to formally proving incoming new methods, a soundness bug was found on Lean leanprover/lean4 #14576
-
DataHoardersome writing around it leodemoura.github.io/blog/2026-8-1-…rtem-for-kernel-soundness-bug-14576
10 minutes ago