Everything you need to know about TLA+, its tools, and the Toolbox is on
The TLA+ Web Site.
Resources for learning about TLA+ are on the web site's
Learning TLA+ page.
A few of the documents mentioned there can be obtained by clicking on the Toolbox's
Help button.