Misere combinatorial games

Source: url:https://github.com/t4ccer/misere-games Authors: Tomasz Maciosowski, Alfie Davies Status: verified Main declarations: MisereGames.Form.Promain.of_universe Tags: combinatorial-games, misere-play, game-theory MSC: 91A46, 05C57