Ш̴̴̜̥͍͕̼̙̱͙͎͍̘̀̐̔́̾̃͒̈̔̎́́͜р̧̛̺͖͖̯̖ͧͤ͋̅̽ͧ̈̐̽̆̐͋ͤͦͬ͛̃̑͞͞и̒ͥͤͯ͂ͣ̐̉̑ͫ̉̑҉̛͏̸̻͕͇͚̤͕̯̱̳͉ͅф̴̴̡̟̞͙̙̻͍̦͔̤̞̔̓́̍͗̚͢͞ͅт̨̐ͫ̂͊̄̃ͥͪ͏̫̺͍̞̼͈̩̥̜͔͜͜ы̸̴̱̺̼̠̦͍͍͍̱̖͔̖̱͉̅͑͌͒ͫ͒̀ͥ͐ͤ̅͘̕.̵̴̡̭̼̮͖͈̙͖͖̲̮̬͍͙̼̯̦̮̮ͦ̆̀̑̌ͮͧͣͯ̔̂́͟г͌ͮ̏̈͂ͯ̚҉̛̙̬̘̲̗͇͕̠̙͙̼̩͚̀͘͞ͅо̷̥̯̘̓ͤ̽͒̋̉̀̂̄̒̓̊ͨ͛́̌ͤ̂̀͠в̶̒͒̓̏̓̚҉̛̙̘̺̰̮̼̟̼̥̟̘̠̜͜н̸̷̸̲̝͈͙̰̟̻̟̰̜̟̗͎̻̻͍̿̔̃ͨ͑о̔̀̋ͫ̇̿̐ͫ͌͗ͩ҉̨̜̙̙͈͍̮̮̼̙̘̞̕͜͡ Войти !bnw Сегодня Клубы
Привет, TbI — HRWKA! 1243.1 пользователей не могут ошибаться!
?6954
прекрасное6445
говно5909
говнорашка5512
хуита4722
anime3067
linux2656
music2637
bnw2606
рашка2570
log2364
ололо2202
дунч1849
pic1816
сталирасты1491
украина1439
быдло1438
bnw_ppl1428
дыбр1238
гімно1158

coq
>@gds банит на мертвом канале за ``оффтопик'' >@zert установил(а) тему: кококо пидорахи как всегда
#RLG5NR (8) / @anonymous / 3518 дней назад
coq
#570MTM (4+1) / @grouzen / 3702 дня назад
Читаю матан, вижу упражнение на доказательство для САМОПРОВЕРКИ. Решаю, решил неправильно/думаю, что решил неправильно. Лезу в ответы. Не нахожу (там ток СЛОЖНЫЕ). Понимаю что автор не рассчитывал, что его книгу будут читать такие имбецилы как я. ВНИМАНИЕ ВОПРОС Если я вкурю Coq (или че там щас модно), я смогу играть в математика? Или это по большей части дроч^Wборьба с типами, чем средство удобн^Wинтерактивного доказательства теорем?
#0ULE5B (0) / @kuzy000 / 3772 дня назад
http://homes.cs.washington.edu/~jrw12/dep-destruct.html -- грамотно про dependent destruction.
#CZ5FTP (0) / @gds / 3851 день назад

Вон чо @ygrek нашёл: http://files.ygrek.org.ua/coq.jpg

#PL4J6G (0+2) / @gds / 3860 дней назад
http://www.sendspace.com/file/4vtin4 Запись диалога знакомого в техподдержке с клиентом.
#6MJNZK (0) / @ileamare / 4504 дня назад
ipv6 ready BnW для ведрофона BnW на Реформале Викивач Котятки

Цоперайт © 2010-2016 @stiletto.