GitHub repository: lambdaclass/tla_plus_playground
Created: 2022-06-06T21:09:15Z
Description: Some TLA+ specifications to learn more about TLA and formal verifications