CakeML: A Verified Implementation of MLhttps://github.com/CakeML/cakeml by adgasf • 7 years ago 1 0 7 years agoGIgithub.com