OP is perhaps being a bit modest, but his own website https://pron.github.io/tlaplus is a fantastic resource.

Lamport lists various learning resources on his page: http://lamport.azurewebsites.net/tla/learning.html

I liked the Practical TLA+ book:

https://www.apress.com/gp/book/9781484238288