Forge: A Tool and Language for Teaching Formal Methodsforge-fm.org2 points·jer0me··0 commentsOpen articleSaveView on HN