6 ms·
One of the authors here. Thanks for pointing that out. TLA+ spec can be found here -- https://github.com/bloomberg/blazingmq/tree/main/etc/tlaplus https://git
by callbacker 3y ago
One of the authors here. Thanks for pointing that out. TLA+ spec can be found here -- https://github.com/bloomberg/blazingmq/tree/main/etc/tlaplus https://github.com/bloomberg/blazingmq/tree/main/etc/tlaplus.
- amelius 3y agoHow is this "deliberately avoiding any formal specification or proof"?
- peheje 3y agoI think they are referring to the specific section below the notice.
- callbacker 3y agoCorrect