GitHub repository: maxotta/tla-plus-intro
Created: 2022-06-22T13:29:25Z
Description: Introduction examples to TLA+/PlusCalc