MiniForth – A small Lean tutorial for programming language semantics

(github.com) by lioeters | Oct 22, 2026 | 0 comments on HN