GitHub repository: tlaplus/foundation
Primary language: HTML
Created: 2021-10-10T18:45:01Z
Description: TLA+ Foundation