机器检查的实用类型/操作工具包

这个工具包用于定义形式化验证工具 machine-check 的具体、抽象等类型以及正向/反向操作。

使用和兼容性

这个工具包是 machine-check 的实用工具包，不应单独使用。不提供兼容性保证。

许可证

许可协议为 Apache License 2.0 或 MIT 许可证，任选其一。除非您明确指出，否则您根据 Apache-2.0 许可证定义的任何有意提交以包含在此工具包中的贡献，将根据上述条款双许可，不附加任何额外条款或条件。