The specification of pod consensus
- 1 PoDCon.tla: The main module of PoD specification.
- 2 Block.tla: Description for block structure and some operators.
- 3 PoD_alg.pdf: Pseudocode of PoD.
- 4 TLA_intro.pdf: A potted guide to TLA language.
You can find more learning resources via https://lamport.azurewebsites.net/tla/learning.html