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.
takayuki/thinking-in-tla
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|