Well, look who’s afraid for their job to be taken by someone else. I believe we have plenty of examples today of “we can’t fire this employee because a few yea

Well, look who’s afraid for their job to be taken by someone else. I believe we have plenty of examples today of “we can’t fire this employee because a few years ago we made a mistake of that hire and now they are the only ones who know how that pile of shit works”. At least with theorem provers the transparent knowledge of the broken systems can be formalized.