sequel of https://bellmar.medium.com/can-you-use-formal-verification-on-a-tabletop-game-the-challenge-c0536fbe30e0 https://bellmar.medium.com/can-you-use-formal

sequel of https://bellmar.medium.com/can-you-use-formal-verification-on-a-tabletop-game-the-challenge-c0536fbe30e0 https://bellmar.medium.com/can-you-use-formal-verification-o... (https://news.ycombinator.com/item?id=30977062 https://news.ycombinator.com/item?id=30977062 with 0 comment)