Статья

Данная работа предлагает новый язык с системой зависимых типов, предназначенный для трансляции результатов между другими системами интерактивных доказательств с зависимыми типами.

Халанский Д.В. (науч. рук. Исаев В.) Унифицированный формат для доказательств на языках с зависимыми типами // Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, [2019]. URL: https://kmu.itmo.ru/digests/article/413