CakeML/cakeml

CakeML：ML 的已验证实现

↗ 在 GitHub 打开

星数

1,190

Fork 数

101

语言

Standard ML

许可

BSD-3-Clause

最后推送

6天前

Standard ML formal-verification programming-language compiler sml hol theorem-proving formal-semantics

还没有相关情报

radar 追踪的来源里还没有出现过这个 repo。收集器按计划运行——等它覆盖到这个 repo 再回来看看。