30 августа 2019 · Комментарий

Без заголовка

avlasov · Оригинал в ЖЖ ↗ · Ссылка на запись

Хотя тут важно отметить, что вовсе необязательно использовать всякие Coq, HOL и проч подобные. Можно и попроще что-нить. Начинать конечно имеет смысл с чего-то попроще. Но аппетит приходит во время еды :).Так что все эти coq, hol, agda, idris, lean и проч никуда не денутся :)