Хотя сертифицированные наборы инструментов C ++ (компилятор и т. Д.) Существуют, я не нашел ни одной сертифицированной стандартной библиотеки C ++ (STL).
Кто-нибудь знает кого-нибудь, кто предоставил это?