TLA+ is easy if you know how to abstract #1 Post by federicoponzi » Thu, Oct 26, 2023, 5:34 PM UTC TLA+ is easy if you know how to abstractblog.fponzi.me