IT·开源
该项目提供工具链，将编译后的.NET中间代码引入Lean 4，以便对程序性质进行形式化证明与验证。
来源：原文链接 (新窗口)
← 返回搜罗吧首页
本页由搜罗吧(Solo8.cn)信息精选服务自动生成，内容仅供参考，不构成任何建议。