GitHub repository: Isaac-DeFrain/TLAplus
Primary language: TLA
Description: TLA+ projects