GitHub repository: nh2oh/tlaplus
Primary language: TLA
Created: 2024-06-23T15:57:09Z
Description: Experimentation with tla+