1 search result for "tag:"logpath:Games""

Showing 1 - 1
  1. coq-games

    No documentation

    A library for algorithmic game theory in Ssreflect/Coq
    category:Mathematics/Combinatorics and Graph Theory keyword:game theory logpath:Games
    Alexander Bagnall Samuel Merten Gordon Stewart
    0.1.0
    BSD-2-Clause
    Used by 0 other packages
    29 Feb 2020