Florian Rabe: HOL+Dependent Types + Subtyping

Описание к видео Florian Rabe: HOL+Dependent Types + Subtyping

Комментарии

Информация по комментариям в разработке