Книжка про COQ

[deniok]

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

Comments

[alexott.livejournal.com]

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