微软F * 0.6阿尔法_Microsoft F* 0.6 Alpha下载地址

一个验证编译器ML程序

微软F *是一个方便和可靠的实用程序设计-ML相关的改进，更高的种类和仿射类型的类型系统的基础上扩展核心。

它允许通过验证的高阶状态的方案与自动化SMT求解。