GitHub repository: tlaplus/CommunityModules
Primary language: TLA
Created: 2019-05-22T04:37:24Z
Description: TLA+ snippets, operators, and modules contributed and curated by the TLA+ community