October 18, 2026 Lean 4.35 liefert vier verifizierte Kernel aus: Der Beweisprüfer wird selbst bewiesen LeanFormale VerifikationKI-Code-AuditingCompiler
