vascorsd, CakeML - A verified implementation of ML - https://cakeml.org/
CakeML is a functional programming language and an ecosystem of proofs and tools built around the language. The ecosystem includes a proven-correct compiler that can bootstrap itself.
Add comment