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