MiniForth – A small Lean tutorial for programming language semantics
Posted 2 hours ago by
lioeters
1
points
https://github.com/leodemoura/MiniForth
0
comments