@gds

Тег coq в блоге gds

gds

http://homes.cs.washington....12/dep-destruct.html -- грамотно про dependent destruction.

#tbpey
Вы можете выбрать до 10 файлов общим размером не более 10 МБ.
gds

Вон чо ygrek нашёл:

#tuygx
Вы можете выбрать до 10 файлов общим размером не более 10 МБ.
gds


ппц унижение

#viz 1
Вы можете выбрать до 10 файлов общим размером не более 10 МБ.

Добавить пост

Вы можете выбрать до 10 файлов общим размером не более 10 МБ.
Для форматирования текста используется Markdown.