Verified Characteristic Formulae for CakeML.

Armal Guneau, Magnus O. Myreen, Ramana Kumar, Michael Norrish

Browse the full ESOP paper archive.