3 ms·
We recently saw that lean itself isnt proven correct. Its not likely but i wouldnt call it verified if its only verified in lean https://x.com/gro_tsen/status/
by samrus 2mo ago
We recently saw that lean itself isnt proven correct. Its not likely but i wouldnt call it verified if its only verified in lean
https://x.com/gro_tsen/status/2082483878480977959 https://x.com/gro_tsen/status/2082483878480977959
- gpm 2mo agoBetween a lean proof, and a peer reviewed paper, the former is a lot less likely to be mistaken... Nothing is perfect.