Optimal Caverna gameplay via formal methods. ~ Stephen Diehl.
https://www.stephendiehl.com/posts/caverna/ #LeanProver #ITP
Optimal Caverna Gameplay via Formal Methods - Stephen Diehl
Personal blog of Stephen Diehl - Software engineer writing about technology, programming, and the future
José A. Alonso