MiniForth – A small Lean tutorial for programming language semanticsgithub.com1 point·lioeters··0 commentsOpen articleSaveView on HN