Трактат о природе формального доказательства -5 13.09.2025 08:39 vsradkevich 0 Математика Искусственный интеллект Функциональное программирование
COQ: верификация функций, содержащих fold_left +7 20.07.2023 12:53 Natasha_Klaus 7 Функциональное программирование
