4 ms·
fortunately there is a TLA+ spec so you can rewrite the system in any language you like!
by endiangroup 7y ago
fortunately there is a TLA+ spec so you can rewrite the system in any language you like!
- aefdhkiodsa 7y agoTLA+ isn't a particular good or interesting formal specification language. I suppose some peons must get some value out of it