Книжка про COQ
Jan. 9th, 2010 10:11 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
deniokСегодняшние вести с LtU: Certified Programming With Dependent Types
Книжка про COQ, судя по оглавлению весьма полезная. Не пропустите, кто интересуется заявленными темами.
Книжка про COQ, судя по оглавлению весьма полезная. Не пропустите, кто интересуется заявленными темами.
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
no subject
Date: 2010-01-09 07:19 pm (UTC)no subject
Date: 2010-01-09 07:22 pm (UTC)