ФиззБазз ΟΕΔ. Практическое введение в формальную верификацию на зависимых типах Idris 2 +26 13.09.2025 19:30 knight_of_calculus 0 Блог компании Страховой Дом ВСК Функциональное программирование Ненормальное программирование
Фундаментальная математика — теория всего в IT и не только. Теория типов и формализация в Coq +35 01.01.2025 09:26 kciray 128 Математика Машинное обучение Функциональное программирование Алгоритмы Искусственный интеллект
