TLA+ is easy if you know how to abstractblog.fponzi.me3 points·federicoponzi··0 commentsOpen articleSaveView on HN