Home
кококо
coq@conference.jabber.ru
Воскресенье, 23 февраля 2014< ^ >
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:51:34] Typhon вошёл(а) в комнату
[03:32:34] Typhon вышел(а) из комнаты
[04:03:29] Typhon вошёл(а) в комнату
[04:29:14] Typhon вышел(а) из комнаты
[05:11:53] Typhon вошёл(а) в комнату
[05:31:00] Typhon вышел(а) из комнаты
[06:12:55] Typhon вошёл(а) в комнату
[06:31:01] Typhon вышел(а) из комнаты
[06:50:36] f[x] вошёл(а) в комнату
[07:14:27] Typhon вошёл(а) в комнату
[07:32:14] Typhon вышел(а) из комнаты
[08:15:58] Typhon вошёл(а) в комнату
[08:25:17] f[x] вышел(а) из комнаты
[08:33:00] Typhon вышел(а) из комнаты
[09:06:07] f[x] вошёл(а) в комнату
[09:16:56] Typhon вошёл(а) в комнату
[09:33:44] Typhon вышел(а) из комнаты
[10:17:59] Typhon вошёл(а) в комнату
[10:35:27] Typhon вышел(а) из комнаты
[10:37:51] f[x] вышел(а) из комнаты
[11:16:06] ermine вошёл(а) в комнату
[11:19:30] Typhon вошёл(а) в комнату
[11:39:16] Typhon вышел(а) из комнаты
[11:41:10] Typhon вошёл(а) в комнату
[12:03:27] Typhon вышел(а) из комнаты
[12:03:51] ForNeVeR вышел(а) из комнаты
[12:18:48] ForNeVeR вошёл(а) в комнату
[14:30:14] Typhon вошёл(а) в комнату
[14:49:37] f[x] вошёл(а) в комнату
[17:45:52] Typhon вышел(а) из комнаты
[19:53:20] f[x] вышел(а) из комнаты
[19:59:32] Typhon вошёл(а) в комнату
[20:23:56] Typhon вышел(а) из комнаты
[20:33:17] Typhon вошёл(а) в комнату
[21:05:21] ermine вышел(а) из комнаты
[21:46:52] ermine вошёл(а) в комнату
[23:00:15] ermine вышел(а) из комнаты
Powered by ejabberd Powered by Erlang Valid XHTML 1.0 Transitional Valid CSS!