"I formalized the [board game Caverna] in Lean 4 and proved that my strategy is the unique weakly dominant pure strategy across every possible game configuration. My friends think this is excessive." https://www.stephendiehl.com/posts/caverna/
"I formalized the [board game Caverna] in Lean 4 and proved that my strategy is the unique weakly dominant pure strategy across every possible game configuration. My friends think this is excessive." https://www.stephendiehl.com/posts/caverna/
If you have a fediverse account, you can quote this note from your own instance. Search https://mastodon.social/users/jcreed/statuses/116143354470119890 on your instance and quote it. (Note that quoting is not supported in Mastodon.)
