Home
кококо
coq@conference.jabber.ru
Пятница, 13 декабря 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
[00:07:02] hanо вышел(а) из комнаты
[00:29:39] hanо вошёл(а) в комнату
[00:32:14] hanо вышел(а) из комнаты
[02:14:06] hanо вошёл(а) в комнату
[02:15:24] hanо вышел(а) из комнаты
[02:56:00] Комната запущена
[02:56:00] ForNeVeR вошёл(а) в комнату
[02:56:06] ForNeVeR вошёл(а) в комнату
[02:57:05] gds вошёл(а) в комнату
[02:57:09] aleksey вошёл(а) в комнату
[03:15:59] ForNeVeR вышел(а) из комнаты
[04:27:50] gds вышел(а) из комнаты
[04:28:01] gds вошёл(а) в комнату
[04:42:28] gds вышел(а) из комнаты: Replaced by new connection
[04:42:29] gds вошёл(а) в комнату
[04:59:28] ForNeVeR вышел(а) из комнаты
[05:00:15] ForNeVeR вошёл(а) в комнату
[05:01:26] ForNeVeR вышел(а) из комнаты
[05:02:23] ForNeVeR вошёл(а) в комнату
[05:03:01] ForNeVeR вышел(а) из комнаты
[05:04:02] ForNeVeR вошёл(а) в комнату
[05:05:58] ForNeVeR вышел(а) из комнаты: Replaced by new connection
[05:05:59] ForNeVeR вошёл(а) в комнату
[05:06:28] ForNeVeR вышел(а) из комнаты
[05:07:38] ForNeVeR вошёл(а) в комнату
[05:08:03] ForNeVeR вышел(а) из комнаты
[05:09:07] ForNeVeR вошёл(а) в комнату
[05:09:50] ForNeVeR вышел(а) из комнаты
[05:10:56] ForNeVeR вошёл(а) в комнату
[05:11:31] ForNeVeR вышел(а) из комнаты
[05:12:26] ForNeVeR вошёл(а) в комнату
[05:13:44] ForNeVeR вышел(а) из комнаты
[05:14:09] ForNeVeR вошёл(а) в комнату
[05:15:04] ForNeVeR вышел(а) из комнаты
[05:15:46] ForNeVeR вошёл(а) в комнату
[05:15:49] ForNeVeR вышел(а) из комнаты
[05:16:16] ForNeVeR вошёл(а) в комнату
[05:16:46] ForNeVeR вышел(а) из комнаты
[05:17:46] ForNeVeR вошёл(а) в комнату
[05:18:46] ForNeVeR вышел(а) из комнаты
[05:19:25] ForNeVeR вошёл(а) в комнату
[05:20:58] ForNeVeR вышел(а) из комнаты: Replaced by new connection
[05:20:59] ForNeVeR вошёл(а) в комнату
[05:21:02] ForNeVeR вышел(а) из комнаты
[05:21:29] ForNeVeR вошёл(а) в комнату
[05:22:28] ForNeVeR вышел(а) из комнаты
[05:22:59] ForNeVeR вошёл(а) в комнату
[05:23:42] ForNeVeR вышел(а) из комнаты
[05:24:29] ForNeVeR вошёл(а) в комнату
[05:24:29] ForNeVeR вышел(а) из комнаты
[05:24:59] ForNeVeR вошёл(а) в комнату
[05:25:26] ForNeVeR вышел(а) из комнаты
[05:26:29] ForNeVeR вошёл(а) в комнату
[05:27:22] ForNeVeR вышел(а) из комнаты
[05:28:07] ForNeVeR вошёл(а) в комнату
[05:28:50] ForNeVeR вышел(а) из комнаты
[05:29:38] ForNeVeR вошёл(а) в комнату
[05:29:42] ForNeVeR вышел(а) из комнаты
[05:30:08] ForNeVeR вошёл(а) в комнату
[05:30:43] ForNeVeR вышел(а) из комнаты
[05:31:38] ForNeVeR вошёл(а) в комнату
[05:32:35] ForNeVeR вышел(а) из комнаты
[05:33:08] ForNeVeR вошёл(а) в комнату
[05:33:10] ForNeVeR вышел(а) из комнаты
[05:34:39] ForNeVeR вошёл(а) в комнату
[05:35:34] ForNeVeR вышел(а) из комнаты
[05:36:09] ForNeVeR вошёл(а) в комнату
[05:36:40] ForNeVeR вышел(а) из комнаты
[05:37:43] ForNeVeR вошёл(а) в комнату
[05:38:24] ForNeVeR вышел(а) из комнаты
[05:39:43] ForNeVeR вошёл(а) в комнату
[05:40:06] ForNeVeR вышел(а) из комнаты
[05:41:13] ForNeVeR вошёл(а) в комнату
[05:43:28] ForNeVeR вышел(а) из комнаты
[05:44:35] ForNeVeR вошёл(а) в комнату
[05:45:36] ForNeVeR вышел(а) из комнаты
[05:47:07] ForNeVeR вошёл(а) в комнату
[05:48:10] ForNeVeR вышел(а) из комнаты
[05:48:53] ForNeVeR вошёл(а) в комнату
[05:51:53] ForNeVeR вышел(а) из комнаты
[05:52:14] ForNeVeR вошёл(а) в комнату
[05:52:16] ForNeVeR вышел(а) из комнаты
[05:53:43] ForNeVeR вошёл(а) в комнату
[05:54:00] ForNeVeR вышел(а) из комнаты
[05:57:06] ForNeVeR вошёл(а) в комнату
[05:57:43] ForNeVeR вышел(а) из комнаты
[05:58:43] ForNeVeR вошёл(а) в комнату
[05:59:14] ForNeVeR вышел(а) из комнаты
[06:00:33] ForNeVeR вошёл(а) в комнату
[06:52:29] gds вышел(а) из комнаты: Replaced by new connection
[06:52:31] gds вошёл(а) в комнату
[07:07:24] f[x] вошёл(а) в комнату
[07:37:27] ermine вошёл(а) в комнату
[10:04:18] f[x] вышел(а) из комнаты
[10:36:25] ftrvxmtrx вошёл(а) в комнату
[10:53:25] f[x] вошёл(а) в комнату
[11:07:31] ForNeVeR вышел(а) из комнаты
[14:39:41] ForNeVeR вошёл(а) в комнату
[15:34:25] f[x] вышел(а) из комнаты
[16:37:01] ForNeVeR вышел(а) из комнаты
[16:37:18] ForNeVeR вошёл(а) в комнату
[17:27:40] ForNeVeR вошёл(а) в комнату
[17:36:58] f[x] вошёл(а) в комнату
[21:09:24] ForNeVeR вышел(а) из комнаты
[21:46:05] f[x] вышел(а) из комнаты
[22:23:21] ermine вышел(а) из комнаты
Powered by ejabberd Powered by Erlang Valid XHTML 1.0 Transitional Valid CSS!