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.
Thinking in TLA: a TLA playground to learn algorithms
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.
Thinking in TLA: a TLA playground to learn algorithms
MIT License