3 ms·The TLA+ spec is now in the git repository. Thanks for the suggestion!by dgacmu 13y agoThe TLA+ spec is now in the git repository. Thanks for the suggestion!