2023.09.06 17:58:26 (Mastodon 111019498286682664, Twitter 1699482105997070540) from Daniel J. Bernstein:
My new report "Papers with computer-checked proofs" gives "case studies supporting the hypothesis that it is often affordable for a paper presenting theorems to also include proofs that have been checked with today's proof-checking software": https://cr.yp.to/papers.html#pwccp