3 ms·What? When and where has any part of linux been proven correct?by papsosouid 13y agoWhat? When and where has any part of linux been proven correct?