Thinking in TLA Add TLA to your programming tools today! This repository contains a snapshot of my TLA playground. All specifications come with TLC models runnable with TLA Toolbox.