CakeML: A Verified Implementation of ML(github.com)1 ポイント·投稿者 adgasf·7 年前·0 コメントgithub.comCakeML: A Verified Implementation of MLhttps://github.com/CakeML/cakeml0 コメントコメントを投稿—