CakeML/cakemlStandard MLCakeML: A Verified Implementation of ML最近提交 2026年7月24日1,169 stars (1,169 stars)98 forks (98 forks)39 個已索引 issue (39 個已索引 issue)39 個開放 good first issue (39 個開放 good first issue)
