IT
该项目以 Lean 定理证明器实现一个小型 Forth 解释器，通过可执行的代码示例讲解编程语言语义，适合学习形式化方法与语言设计。
来源：原文链接 (新窗口)
← 返回搜罗吧首页
本页由搜罗吧(Solo8.cn)信息精选服务自动生成，内容仅供参考，不构成任何建议。