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?

[1] no-more-mvc-frameworks: https://www.infoq.com/articles/no-more-mvc-frameworks/ [2] http://lamport.azurewebsites.net/tla/tla.html