7 ms·
TLA+ isn't a particular good or interesting formal specification language. I suppose some peons must get some value out of it
by aefdhkiodsa 7y ago
TLA+ isn't a particular good or interesting formal specification language. I suppose some peons must get some value out of it