[flagged]
> I was excited about this vision. Too often, an engineer tries to write one huge TLA+ spec for the whole system. It's too complex and detailed, so it's not much easier to understand ...
https://stackoverflow.com/questions/10560834/to-what-extent-...