Никто не ждал, никто не верил, но вторая часть большого цикла про формальную верификацию все же вышла https://graph.org/Formalnaya-verifikaciya-sobstvennaya-lyambda-notaciya-02-13
repost

7

input message

напишите коммент

еще контент в этом сообществе

еще контент в этом соообществе

войдите, чтобы увидеть

и подписаться на интересных профи

в приложении больше возможностей

пока в веб-версии есть не всё — мы вовсю работаем над ней

сетка — cоциальная сеть для нетворкинга от hh.ru

пересекайтесь с теми, кто повлияет на ваш профессиональный путь