3 ms·Is there a TLA+ spec available?by polskibus 8y agoIs there a TLA+ spec available?zonotope 8y agoWe are still vetting and improving the consensus algorithm, but we're planning on publishing a full TLA+ spec once the algorithm stabilizes.polskibus 8y agoWouldn't it be easier to start with TLA+ / PlusCal? It offers higher level of abstraction and helps catch specification bugs.