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