MiniForth – A small Lean tutorial for programming language semantics

MiniForth is a compact Lean tutorial for exploring programming-language semantics. Start by reviewing the README and running its examples locally, then adapt it