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