This repo is a playground for TLA+ experiments. I've only recently discovered TLA+, so anything in here is probably bad! :)
-
Notifications
You must be signed in to change notification settings - Fork 0
eu90h/tla-stuff
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
TLA+ specs and such