GitHub repository: sidorykp/tlaplus-journey
Primary language: TLA
Created: 2024-10-29T19:45:28Z
Description: TLA+ algorithms with TLAPS proofs