M
Будет медовик ещё
Size: a a a
2020 November 17
K
Надеюсь, мёд привезут до пятницы
Мед из одуванчиков
M
И табаки над найти
λ
а как это проверяется?
Через coq
AT
Через coq
вообще это никак проверять не нужно, хочет человек гомосексуального секса, ну и пусть хочет.
зачем судить?
зачем судить?
KS
Стоило в джобсах яндекс помянуть только, как сразу оживление
λ
вообще это никак проверять не нужно, хочет человек гомосексуального секса, ну и пусть хочет.
зачем судить?
зачем судить?
Зачем не судить
λ
Докажи через coq
Oℕ
Notation "Ты" := Пидор. доказано
AT
Notation "Ты" := Пидор. доказано
Qed.λ
Notation "Ты" := Пидор. доказано
Не ты, а Кирилл
λ
Ваше доказательство неверно
Б
Notation "Ты" := Пидор. доказано
AT
Notation "Ты" := Пидор. доказано
если еще и
(only parsing) добавить, то смешно получится.
2020 November 18
KC
Kirill Shelopugin
Стоило в джобсах яндекс помянуть только, как сразу оживление
Как же хочется продуктовые карточки
R
Вот бы продкартояки на стейки