Hillel Wayne GitHub
learntla — A TLA+ guide
Nothing else here says anything this post says yet. search the site for it.