bluesky — Thomas Dietterich — 14 Sep 2026
And then there is the likelihood that if they don't understand it, the paper is wrong. A LEAN-checked proof doesn't guar…
#theorem-proving #proof-verification #formal-methods
And then there is the likelihood that if they don't understand it, the paper is wrong. A LEAN-checked proof doesn't guarantee that the claim was properly formalized.