Первый truly stateless оптимальный алгоритм модел-чекера и его проверка на Coq +26 16.11.2021 10:12 JetBrains_Education 37 Блог компании Образовательные проекты JetBrains Тестирование IT-систем Алгоритмы Функциональное программирование
