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)
