3 ms·You can use pluscal, it embeds in tla+ and compiles to it, it's fairly nice.by kadoban 2y agoYou can use pluscal, it embeds in tla+ and compiles to it, it's fairly nice.