Combinatorial Games in Lean

1 comments

• unprovable 2 hours ago
  Neat! Perhaps add a wishlist or Project tab? :)

  Tangentially, I recall reading a paper not that long ago that showed that under certain assumptions that Zermelo's theorem showed that making the games 'quantum games' didn't actually offer any real advantage.

  [-]
  • wertyk 2 hours ago
    Not the author, I just submitted the link — vihdzp maintains the repo. An issue over there would actually reach them.)