alt Hacker NewsWe recently saw that lean itself isnt proven correct. Its not likely but i wouldnt call it verified if its only verified in lean
We recently saw that lean itself isnt proven correct. Its not likely but i wouldnt call it verified if its only verified in lean
Between a lean proof, and a peer reviewed paper, the former is a lot less likely to be mistaken...
Nothing is perfect.