3 ms·I don't know TLA+ yet but I'll assist anybody with an explanation on how Gryadka works.by rystsov 10y agoI don't know TLA+ yet but I'll assist anybody with an explanation on how Gryadka works.