Some TLA+ specifications to learn more about TLA and formal verifications - View it on GitHub