MiniForth – A small Lean tutorial for programming language semantics

1 pointsposted 10 hours ago
by lioeters
(github.com)

No comments yet