6 ms·I’d work through the Practical TLA+ book.by yakshaving_jgt 5y agoI’d work through the Practical TLA+ book.