tdeebswihart / specifying_systems

Code from my readthrough of Lamport's Specifying Systems

Note to self: see https://github.com/tlaplus/Examples/tree/master/specifications/SpecifyingSystems for examples if I'm having trouble adapting the book's specs to something TLC can actually check.