← Back to feed
IT · 2026-10-22 03:57
该项目以 Lean 定理证明器实现一个小型 Forth 解释器，通过可执行的代码示例讲解编程语言语义，适合学习形式化方法与语言设计。
Source: github.com
Auto-generated summary for reference only. RSS