signum

分类: 数据与AI | 上传者: heurema | 下载: 0 | 版本: v1.0（最新）

当用户想要契约优先的开发时使用——在编码之前定义正确性、根据契约实施、使用多个模型进行审计以及打包证明工件。

更新日志: Source: GitHub https://github.com/heurema/signum