Home
кококо
coq@conference.jabber.ru
Среда, 2 сентября 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 просто годная книга.
Конфигурация комнаты
Участники комнаты

GMT+3
[00:11:42] f[x] вышел(а) из комнаты
[00:44:05] f[x] вошёл(а) в комнату
[01:08:20] ForNeVeR вышел(а) из комнаты: Disconnected: Replaced by new connection
[01:08:21] ForNeVeR вошёл(а) в комнату
[06:18:24] f[x] вышел(а) из комнаты
[07:19:31] ForNeVeR вошёл(а) в комнату
[09:02:12] ftrvxmtrx вошёл(а) в комнату
[12:48:11] ftrvxmtrx вышел(а) из комнаты
[17:47:35] ForNeVeR вышел(а) из комнаты: Disconnected: closed
[19:45:28] ForNeVeR вошёл(а) в комнату
[19:50:02] ForNeVeR вышел(а) из комнаты: Disconnected: closed
[19:50:51] ftrvxmtrx вошёл(а) в комнату
[20:55:52] ForNeVeR вышел(а) из комнаты: Disconnected: Replaced by new connection
[20:55:54] ForNeVeR вошёл(а) в комнату
[20:57:31] ForNeVeR вышел(а) из комнаты: Disconnected: Replaced by new connection
[20:57:31] ForNeVeR вошёл(а) в комнату
[21:02:18] ftrvxmtrx вышел(а) из комнаты
[21:59:38] f[x] вошёл(а) в комнату
[22:05:11] f[x] вышел(а) из комнаты
[22:05:17] f[x] вошёл(а) в комнату
[23:55:57] f[x] вышел(а) из комнаты
Powered by ejabberd Powered by Erlang Valid XHTML 1.0 Transitional Valid CSS!