CakeML/cakeml

CakeML is an open‑source compiler and runtime system that provides a fully verified implementation of the ML programming language. Built on formal proof techniq