Comment by hcnews

Can someone summarize TLA+ functionality in 2-3 sentences. It keeps coming up on hackernews but I haven't heard it any other context (and I have worked at faang, so should've heard of it if it was generally useful). Just trying to figure out if its a niche or something I should know as a distributed systems person.