5 ms·
> there is no doubt that the proof is correct. Do you have any links to reading about how often lean core has soundness bugs or mathlib has correctness bugs?
by EE84M3i 8mo ago
> there is no doubt that the proof is correct.
Do you have any links to reading about how often lean core has soundness bugs or mathlib has correctness bugs?