Ask HN: How you understand TLA+ and how you use TLA+ in your projects?

I recently read an article [1] talking about MVC architecture, which mentioned the unfamiliar vocabulary TLA+, so I went to the homepage of TLA+[2] to try to understand it, but I am still a little new to TLA+, so I Want to know what people think of TLA+ and how TLA+ is applied in other fields or projects?<p>[1] no-more-mvc-frameworks: https:&#x2F;&#x2F;www.infoq.com&#x2F;articles&#x2F;no-more-mvc-frameworks&#x2F; [2] http:&#x2F;&#x2F;lamport.azurewebsites.net&#x2F;tla&#x2F;tla.html