You may have seen this blog already, but the author of "Practical TLA+" has a really fascinating blog with some fun toy examples. I'm a fan of this article wher

You may have seen this blog already, but the author of "Practical TLA+" has a really fascinating blog with some fun toy examples. I'm a fan of this article where they model A Link to the Past with Alloy, to prove that dungeons are "winnable" [0]. The rest of the blog is really interesting too. [0] https://www.hillelwayne.com/post/alloy-randomizer/ https://www.hillelwayne.com/post/alloy-randomizer/