1. 16
  1.  

  2. 3

    What’s the reason for the recent TLA flood on this site?

    Is this the new “hot” thing?

    1. 4

      I suspect it’s because there is more intro-level material for learning it now:

      Before then the most accessible resource that I’m aware of was the TLA+ Hyperbook. Reading a book is somehow more of a commitment, so fewer people bothered to learn.