GitHub repository: tlaplus-community/tlaplus-standard
Primary language: TLA
Created: 2021-04-27T12:55:57Z
Description: A collection of various standards, proposed or established, related to TLA+