We recently saw that lean itself isnt proven correct. Its not likely but i wouldnt call it verified if its only verified in lean
replyBetween a lean proof, and a peer reviewed paper, the former is a lot less likely to be mistaken...
replyNothing is perfect.
Incorrect. The statement in Lean can itself be wrong. Moreover, they could be exploiting a kernel bug in Lean, of which we had one published literally a week ago.
reply