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

Date: 2010-01-09 07:19 pm (UTC)
From: [identity profile] alexott.livejournal.com
а ты про нее не знал? я натыкался на нее несколько месяцев назад, когда в ней было страниц 200 всего

Profile

deniok: (Default)
deniok

February 2022

S M T W T F S
  12345
6789101112
13141516171819
20212223 242526
2728     

Style Credit

Expand Cut Tags

No cut tags
Page generated Jul. 28th, 2025 03:23 am
Powered by Dreamwidth Studios