| ▲ | margorczynski an hour ago | |
From what I understand all of them have Lean proofs/certificates thus are basically 100% proven without a doubt. | ||
| ▲ | samrus 3 minutes ago | parent | next [-] | |
We recently saw that lean itself isnt proven correct. Its not likely but i wouldnt call it verified if its only verified in lean | ||
| ▲ | voxl 14 minutes ago | parent | prev [-] | |
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. | ||