Hacker News Reader

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.