alt Hacker NewsI see. It still feels like a bit of an oddly solemn way of saying "this is the part we admit responsibility for"
Replies
emil-lp • today at 8:19 AM
Well, to be fair, with Lean proofs, that's the only thing there is (unless I'm missing something).
I see. It still feels like a bit of an oddly solemn way of saying "this is the part we admit responsibility for"
Well, to be fair, with Lean proofs, that's the only thing there is (unless I'm missing something).
It’s more than you get from free software - you get no proofs, no warranties and any responsibility of its authors are their pure good will. Reminder lean proofs are software!