标准的Poly/ML实现马里兰州

特征
线程库和垃圾中的完全多处理器支持收藏家
交互式调试器
快速编译器
大型项目的首选实施方式包括伊莎贝尔和HOL4型.

最新消息：Poly/ML版本5.9.1发布。
这包括一个增强的ARM64代码生成器。

开发版本现在位于GitHub的Git上(https://github.com/polyml).

那里爱丁堡大学有Poly/ML邮件列表吗.

上次更新时间：作者：David Matthews。