CakeML/cakeml

CakeML — это полностью формально верифицированный компилятор и среда выполнения языка ML, реализованные в открытом исходном коде. Проект обеспечивает строгую до