D
reverse функция, а ща бля ору бл *верчу головой* газета? *подбираю и удалился. – заключил бомба спросил: – неожиданно где та поняха что оставалось загадкой. хотя ловко он замер. а зач но слвшен плачь, доносящийся от инта? 🤨
reverse - инволюцияSize: a a a
2020 March 23
а
Доказать, что
что
p
Доказать, что
reverse - инволюция:\
а
reverse - функция, разворачивающая массив
ну
G
reverse функция, а ща бля ору бл *верчу головой* газета? *подбираю и удалился. – заключил бомба спросил: – неожиданно где та поняха что оставалось загадкой. хотя ловко он замер. а зач но слвшен плачь, доносящийся от инта? 🤨
Бля орёшь?
D
бля прокрастинировать больше месяца и костей. в purec
p
Ну и как доказать что reverse(reverse(foo)) = foo
а
Ну и как доказать что reverse(reverse(foo)) = foo
хз сравнить
p
А, ты не шаришь
G
хз сравнить
Как сравнить?
G
Ой блять зачем в полез в это
G
Всё
p
Можешь погуглить верификация программ
p
Или сразу туториал по F*, чтобы видеть на примерах как это происходит
G
В Идрис, кстати, самому нужно доказывать, т.к. там никакого Z3 прувера нет, просто зав. типы данных проверяются
а
понятно психи
p
понятно психи
G
понятно психи
