G
Size: a a a
2020 January 11
M
Не есть язык забыл как называется для описания теорем
G
Не есть язык забыл как называется для описания теорем
Как Idris и F*
G
Я тебе потом скину статью про то, как человек на собеседовании описал связный список и формально доказал его правильность на Idris)
G
Тесты не писал
G
Они не нужны были)
G
«Разворачиваем двусвязный список на собеседовании»
M
Петух
M
Coq
G
Ааа
M
Язык петух
G
Нет, это член
M
Вспомнил название
M
Член это cock
M
Есть ещё сат и стм солверы
M
К примеру z3
M
А вообще в пизду деды писали и все работало
M
ED
Член это cock
Это и петух тоже.
ED
Definition of coq
: cock entry 1 specifically : a trimming of cock feathers on a woman's hat
: cock entry 1 specifically : a trimming of cock feathers on a woman's hat