【文件属性】：
文件名称：CakeML：ML的经过验证的实现-Python开发
文件大小：3.91MB
文件格式：ZIP
更新时间：2021-05-25 17:51:42
Python Miscellaneous
CakeML项目：https://cakeml.org CakeML是标准ML的重要子集的经过验证的实现。
CakeML的源代码和证明是在HOL4定理证明者中开发的。
我们使用最新的开发版本CakeML项目：https://cakeml.org CakeML是标准ML的重要子集的经过验证的实现。
CakeML的源代码和证明是在HOL4定理证明者中开发的。
我们使用HOL4的最新开发版本，该版本基于PolyML 5.7.1构建。
示例构建说明可在build-instructions.sh中找到。
构建所有CakeML（包括自举编译器及其证明）都需要大量资源。
我们的R的编译器的构建副本和资源使用情况