leodemoura/MiniForth

1 best points · 0 comments · 1 Hacker News post · 7 GitHub stars · View on GitHub

Hacker News discussions

• MiniForth – A small Lean tutorial for programming language semantics (1 points, 0 comments, by lioeters, 2026-10-22)