я себе представляю, сидишь ты такой топ менеджер по рискам, сидишь читаешь этот гарант ёбаный часами сутками месяцами, и сам не замечаешь, как начинаешь кодить на Coq
я, кст, неспроста спрашивал про верификацию юридических контрактов, но рассказывать пока нечего. Хорошо будет, если что-нибудь получится через пару годиков.