/TLA-plus-video-course

Exercises from Leslie Lamport's video course on TLA+

Primary LanguageTLA

Watchers