postmortem.io
Menu

839 entries newest

Browse

Lean

entries
1
incidents
1
shutdowns
0
years
2026
Most recent: Postmortem for Kernel Soundness Bug #14576, 2026-08-01.

1 entry from Lean

  1. Incident
    Postmortem for Kernel Soundness Bug #14576

    Leanbug, formal-verification, theorem-prover +3 more tags

    company blog