danesabo/Obsidian
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

vault backup: 2025-02-10 15:36:19

Browse Source
This commit is contained in:
Dane Sabo 2025-02-10 15:36:19 -05:00
parent 88e5152345
commit b7a48ce259
3 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
3-99 Research/TLA/TLA Canvas.canvas
View File

@ -1,6 +1,6 @@
{
"nodes":[
{"id":"167f0f0792ba9aa0","x":-300,"y":-500,"width":540,"height":180,"type":"text","text":"What the hell is TLA+?\n\nApparently, it's a formal specification language by Leslie Lamport, who legendarily made $\\LaTeX$. \n\nAlso, apparently it is TLA$^+$. It stands for Three Letter Acronym."}
{"id":"7c5e7263708dba1b","x":-720,"y":-880,"width":520,"height":440,"type":"file","file":"3-99 Research/TLA/What is TLA?.md"}
],
"edges":[]
}

0
3-99 Research/TLA/What is TLA good for?.md Normal file
View File

5
3-99 Research/TLA/What is TLA?.md
View File

@ -3,5 +3,6 @@ TLA$^+$ stands for Three Letter acronym. It was invented by Leslie Lamport, who
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?
TLA stands for 'Temporal Logic of Actions'. It's a formal specification language.
TLA mainly works with a tool called TLC, which is a model checker. TLC is exhaustive, and will check every possible case.