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