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