Geeks
Apress
/
practical-tla-plus
Source Code for 'Practical TLA+' by Hillel Wayne
Primary Language
TLA
Other
NOASSERTION
practical-tla-plus GitHub
Markdown
Readme
11
Issues
287
Stargazers
22
Watchers
Watchers
a1300
andrewh
bpowell415
RealPage
bradjonesca
New York
db-storage
ddewaleffe
Liernu, Belgium
eemailme
eldesh
Tokyo
EmilTholin
Sweden
hwayne
Chicago
jhcloos
JohnStrunk
Red Hat
jorpic
Formal Methods
kpy3
Moscow, Russia
MachinesAreUs
Bunsan
MarkP88
mattyw
NewAlexandria
New Alexandria
rebcabin
splade
vault13dweller
vinniep79