GitHub repository: Echo-b/Learn-TLA-Plus
Created: 2022-10-14T12:24:32Z
Description: guide for spec varify