Home
кококо
coq@conference.jabber.ru
Вторник, 20 января 2015< ^ >
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 просто годная книга.
Конфигурация комнаты
[02:38:39] f[x] вошёл(а) в комнату
[02:42:50] f[x] вышел(а) из комнаты
[02:44:44] f[x] вошёл(а) в комнату
[02:49:43] f[x] вышел(а) из комнаты
[02:50:49] f[x] вошёл(а) в комнату
[02:58:03] f[x] вышел(а) из комнаты
[02:58:22] f[x] вошёл(а) в комнату
[02:58:30] f[x] вышел(а) из комнаты
[03:31:35] ForNeVeR вышел(а) из комнаты
[03:31:35] ForNeVeR вышел(а) из комнаты
[06:09:08] f[x] вошёл(а) в комнату
[06:50:31] f[x] вышел(а) из комнаты
[07:34:40] f[x] вошёл(а) в комнату
[11:35:08] f[x] вышел(а) из комнаты
[11:36:14] f[x] вошёл(а) в комнату
[12:47:54] f[x] вышел(а) из комнаты
[12:57:31] s6 вышел(а) из комнаты
[13:16:05] s6 вышел(а) из комнаты
[13:23:57] s6 вошёл(а) в комнату
[14:28:49] s6 вошёл(а) в комнату
[14:37:04] s6 вышел(а) из комнаты: Replaced by new connection
[14:37:10] s6 вошёл(а) в комнату
[14:44:44] ftrvxmtrx вошёл(а) в комнату
[16:39:08] ForNeVeR вошёл(а) в комнату
[16:49:03] ftrvxmtrx вышел(а) из комнаты
[17:16:00] ftrvxmtrx вошёл(а) в комнату
[19:44:55] ForNeVeR вышел(а) из комнаты: Disconnected: closed
[19:45:02] ForNeVeR вошёл(а) в комнату
[19:51:37] ftrvxmtrx вышел(а) из комнаты
[19:54:38] ForNeVeR вышел(а) из комнаты: Disconnected: closed
[19:54:44] ForNeVeR вошёл(а) в комнату
[20:45:17] ftrvxmtrx вошёл(а) в комнату
[22:07:29] f[x] вошёл(а) в комнату
[22:45:25] f[x] вышел(а) из комнаты
[22:46:05] ftrvxmtrx вышел(а) из комнаты
[22:46:06] ftrvxmtrx вошёл(а) в комнату
[22:48:11] ftrvxmtrx вышел(а) из комнаты
[22:48:13] ftrvxmtrx вошёл(а) в комнату
[22:48:46] ftrvxmtrx вышел(а) из комнаты
[22:48:54] ftrvxmtrx вошёл(а) в комнату
[22:50:35] ftrvxmtrx вышел(а) из комнаты
[22:50:46] ftrvxmtrx вошёл(а) в комнату
[22:55:46] ftrvxmtrx вышел(а) из комнаты
[22:55:48] ftrvxmtrx вошёл(а) в комнату
[22:56:45] ftrvxmtrx вышел(а) из комнаты
[22:56:46] ftrvxmtrx вошёл(а) в комнату
[23:22:46] f[x] вошёл(а) в комнату
[23:40:20] ftrvxmtrx вышел(а) из комнаты
[23:40:20] ftrvxmtrx вошёл(а) в комнату
[23:41:00] ftrvxmtrx вышел(а) из комнаты
[23:41:02] ftrvxmtrx вошёл(а) в комнату
[23:44:46] ftrvxmtrx вышел(а) из комнаты
[23:44:48] ftrvxmtrx вошёл(а) в комнату
[23:49:05] ftrvxmtrx вышел(а) из комнаты
[23:50:39] ftrvxmtrx вошёл(а) в комнату