8 lines
461 B
Markdown
8 lines
461 B
Markdown
# History
|
|
TLA$^+$ stands for Three Letter acronym. It was invented by Leslie Lamport, who notably invented $\LaTeX$. TLA+ is a language for writing and checking specifications. It helps to work on system designs, and to show if a system meets specifications.
|
|
|
|
There is a nice [learntla](https://learntla.com/intro/faq.html#what-s-tla) website set up by the community, mostly by Hillel Wayne
|
|
|
|
TLA stands for 'Temporal Logic of Actions'.
|
|
## What's TLA+ good at?
|