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