Книжка про COQ

[deniok]

Сегодняшние вести с LtU: Certified Programming With Dependent Types
Книжка про COQ, судя по оглавлению весьма полезная. Не пропустите, кто интересуется заявленными темами.

Comments

[alexott.livejournal.com]

а ты про нее не знал? я натыкался на нее несколько месяцев назад, когда в ней было страниц 200 всего

[deni-ok.livejournal.com]

Ну значит польза этого поста в том, чтобы подчеркнуть, что работа над этой книжкой кипит :)