All pull requests

Pull requests

• Add Dots and Boxes with Strings and Coins, Nimstring, and the loony endgame

  #20·CharlesCNorton opened Aug 3, 2026·

  ·

• Add nim multiplication and the field of nimbers

  #19·CharlesCNorton opened Jul 30, 2026·

  ·

• Add green Hackenbush on graphs with the fusion principle

  #18·CharlesCNorton opened Jul 30, 2026·

  ·

• Add Toads and Frogs with the travel-distance measure and lone-piece values

  #17·CharlesCNorton opened Jul 29, 2026·

  ·

• Add Blue-Red-Green Hackenbush with the ground-edge trichotomy and green stalks as nimbers

  #16·CharlesCNorton opened Jul 29, 2026·

  ·

• Add Blue-Red Hackenbush with the sign theorem and the dyadic stalk values

  #15·CharlesCNorton opened Jul 29, 2026·

  ·

• Add Domineering with the decomposition and reflection theorems

  #14·CharlesCNorton opened Jul 29, 2026·

  ·

• Add Conway's partisan game theory with the simplification theorems

  #13·CharlesCNorton opened Jul 29, 2026·

  ·

• Add Bridg-it with Lehman's theorem for the first player on every board

  #12·CharlesCNorton opened Jul 29, 2026·

  ·

• Add Sprague-Grundy theory with the XOR theorem and Bouton's theorem for Nim

  #11·CharlesCNorton opened Jul 29, 2026·

  ·

• Add verified Chomp with the strategy steal and the square and two-row strategies

  #10·CharlesCNorton opened Jul 29, 2026·

  ·

• Add the Shannon switching game with Lehman's winning strategy for Short

  #9·CharlesCNorton opened Jul 29, 2026·

  ·

• Add verified Hex with a proof of Nash's theorem

  #8·CharlesCNorton opened Jul 28, 2026·

  ·