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