October 18, 2026 Lean 4.35 Ships with Four Verified Kernels: Proving the Proof Checker LeanFormal VerificationAI Code AuditingCompilers
