GitHub repository: rurumimic/tlaplus
Primary language: TLA
Created: 2022-11-30T10:46:12Z
Description: TLA⁺