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