Topic
#Postmortem
1 article on Postmortem — news, releases, guides and analysis from the SourceFeed engine.
Article
The Collatz 'Disproof' That Beat Two Proof Checkers
Inside Lean soundness bug #14576, the one-hour fix, and why machine-checked now comes with a patch cadence.
Ji-ho Choi