B blog.fponzi.me TLA+ is easy if you know how to abstract 3 points federicoponzi 3 years ago 0 comments