Really liked the paper book, looking forward to the new version of the website! Nice to see some new posts on TLA every once in a while. A few days ago someone

Really liked the paper book, looking forward to the new version of the website! Nice to see some new posts on TLA every once in a while. A few days ago someone posted this series of very real-world examples: https://elliotswart.github.io/pragmaticformalmodeling/ https://elliotswart.github.io/pragmaticformalmodeling/ It's also quite good.