Home
кококо
coq@conference.jabber.ru
Четверг, 19 декабря 2013< ^ >
zert установил(а) тему: кококо
Логи: http://chatlogs.jabber.ru/coq@conference.jabber.ru/
http://www.cis.upenn.edu/~bcpierce/sf/ годная книга, как и всё, что пишет Пирс. Упор на тактики и доказательства.
http://adam.chlipala.net/cpdt/ годная книга. Доказательств мало, программирования много.
http://www.labri.fr/perso/casteran/CoqArt/index.html просто годная книга.
Конфигурация комнаты
Участники комнаты

GMT+4
[01:18:40] ftrvxmtrx вошёл(а) в комнату
[01:21:55] ftrvxmtrx вышел(а) из комнаты
[01:23:10] ftrvxmtrx вошёл(а) в комнату
[01:30:03] ftrvxmtrx вышел(а) из комнаты
[01:31:01] ftrvxmtrx вошёл(а) в комнату
[04:42:23] ForNeVeR вышел(а) из комнаты
[05:56:43] ForNeVeR вошёл(а) в комнату
[06:03:10] ForNeVeR вышел(а) из комнаты
[06:03:51] ForNeVeR вошёл(а) в комнату
[06:45:15] f[x] вошёл(а) в комнату
[09:35:30] olibjerd вошёл(а) в комнату
[09:36:59] olibjerd вышел(а) из комнаты: Logged out
[09:51:32] f[x] вышел(а) из комнаты
[10:47:31] ermine вошёл(а) в комнату
[10:59:32] f[x] вошёл(а) в комнату
[11:28:55] ftrvxmtrx вышел(а) из комнаты
[12:47:29] ftrvxmtrx вошёл(а) в комнату
[13:15:45] gds вышел(а) из комнаты
[13:15:51] gds вошёл(а) в комнату
[13:46:50] gds вышел(а) из комнаты
[14:00:01] gds вошёл(а) в комнату
[16:00:10] f[x] вышел(а) из комнаты
[17:54:39] f[x] вошёл(а) в комнату
[17:59:41] ftrvxmtrx вышел(а) из комнаты
[18:53:44] ftrvxmtrx вошёл(а) в комнату
[19:52:56] ftrvxmtrx вышел(а) из комнаты
[20:39:13] f[x] вышел(а) из комнаты
[21:12:31] ForNeVeR вышел(а) из комнаты: Replaced by new connection
[21:12:33] ForNeVeR вошёл(а) в комнату
[23:29:19] ermine вышел(а) из комнаты
Powered by ejabberd Powered by Erlang Valid XHTML 1.0 Transitional Valid CSS!