Skip to content

postmortem.io Beta

Search postmortems /

postmortem.io
Tags
#theorem-prover

#theorem-prover

1 postmortems tagged "theorem-prover"

Postmortem for Kernel Soundness Bug #14576 Aug 1, 2026 Incident Lean bugformal-verificationtheorem-prover +3

No postmortems match that combination.

Try a broader search term, or clear all filters and browse by tag or company instead.

Every entry links back to its original source. postmortem.io only exists because those authors wrote the truth down in public.

Real incident reports, postmortems, and shutdown writeups. No marketing spin.