2026.11.12 14:38:35 (Mastodon 117603979438320759, Twitter 2120889008389837049) from Daniel J. Bernstein:
Posted new page "False computer-checked proofs" linking to 199 reports of soundness bugs in several important proof-checking programs: https://cr.yp.to/proofs/falseccp.html
