20 lines
811 B
Markdown
20 lines
811 B
Markdown
# Table of Contents for TLA
|
|
|
|
## Files
|
|
- [[TLA Canvas.canvas]]
|
|
- [[3-99 Research/TLA/Untitled]]
|
|
- [[What is TLA?.md]]
|
|
- [[What the hell is liveness?.md]]
|
|
|
|
## Summary
|
|
Here's a concise description of what's inside the folder:
|
|
|
|
This folder contains documentation and resources for [[TLA]] (Temporal Logic of Actions), a formal specification language. The main files include:
|
|
|
|
* [[TLA Canvas.canvas]], likely a canvas file used to visualize [[TLA]] concepts
|
|
* [[3-99 Research/TLA/Untitled]], an untitled Markdown file containing notes on the benefits of using [[TLA]]
|
|
* [[What is TLA?.md]], a Markdown file providing an introduction to [[TLA]], including its history, features, and usage
|
|
* [[What the hell is liveness?.md]], a Markdown file exploring the concept of liveness in [[TLA]]
|
|
|
|
Generated by llama3.2:latest
|