3 ms·This is pretty amazing resource to get started with TLA+by StreamBright 9y agoThis is pretty amazing resource to get started with TLA+