Фундаментальная математика — теория всего в IT и не только. Теория типов и формализация в Coq +35 01.01.2025 09:26 kciray 128 Алгоритмы Математика Машинное обучение Функциональное программирование Искусственный интеллект
От зависимых типов к гомотопической теории типов на Scala + Shapeless + ProvingGround +20 22.05.2017 09:11 dmitrymitin 14 Математика Scala Функциональное программирование
