CakeML: A Verified Implementation of ML(github.com)1 points·by adgasf·hace 7 años·0 commentsgithub.comCakeML: A Verified Implementation of MLhttps://github.com/CakeML/cakeml0 commentsPost comment—