Forge: A Tool to Teach Formal Methodsblog.brownplt.org7 points·__rito__··0 commentsOpen articleSaveView on HN