leanprover lean4

• CVE-2026-72711 Medium 6.3 Lean 4 before 4.32.2 Kernel Accepts Opaque Declaration With an Unbound Free Variable 0.2%
• CVE-2026-72844 Medium 6.3 Lean 4 Kernel Type Checking Bypass via Mismatched Structure Projections 0.2%