Если вылетает по переполнению стека, то значит, что доказательство неверное.
Мы когда систему управления бурением делали, я нарисовал и доказал пару лемм на тему нашей message system. Ну потому что надо было. Все-таки тяжелая железяка, 125 тонн; разнести ее к херам вполне запросто.
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
no subject
Date: 2018-06-10 04:57 pm (UTC)Мы когда систему управления бурением делали, я нарисовал и доказал пару лемм на тему нашей message system. Ну потому что надо было. Все-таки тяжелая железяка, 125 тонн; разнести ее к херам вполне запросто.