GitHub repository: manifoldfinance/tla-spec
Primary language: TLA
Description: tla++ proofs and verifications