Evgeny_CD, Архитектор (20.11.2021 16:03, просмотров: 125) ответил LightElf на А почему у нас не обсуждалась Picolibc? Или обсуждалась, но поиск
не находит?-
- Интересно про CompCert - французский С компилер с формальной верификацией. Evgeny_CD(1 знак., 20.11.2021 16:05, ссылка)