Baking for Dafny: A CakeML Backend for Dafny. - Daniel Nezamabadi; Magnus Myreen (CoRR, 2025)