GitHub repository: withtwoemms/tlaplus-examples
Created: 2021-12-09T04:52:05Z
Description: a place for TLA+ examples