cakeml:CakeML:经过验证的ML实现 源码

CakeML项目: ://cakeml.org CakeML是标准ML的重要子集的经过验证的实现。 CakeML的源代码和证明是在中开发的。 我们使用的最新开发版本,该版本基于构建。 示例构建说明可在找到。 构建所有CakeML(包括自举编译器及其证明)需要大量资源。 在线编译器的和我们的资源使用情况。 分支包含CakeML的最新开发版本。 有关以前的版本,请参见或分支。 目录结构 :CakeML版权声明,许可和免责声明。 :包含一个标准的基础库的CakeML开端,类似SML的标准基础库。 :此文件描述如何安装Poly / ML,HOL和CakeML。 :基于CakeML中实