Documentation
CombinatorialGames
.
Test
Search
return to top
source
Imports
Init
CombinatorialGames.Game.Ordinal
CombinatorialGames.Game.Tactic
CombinatorialGames.Game.Specific.Nim
Imported by
Tests for the
game_cmp
tactic.