CakeML

Verified Compilation and Optimization of Floating-Point Programs in CakeML

Verified Compilation on a Verified Processor

CakeML – A Verified Implementation of ML

CakeML – A Verified Implementation of ML