coq-games

A library for algorithmic game theory in Ssreflect/Coq

opam install coq-games.0.1.0
homepage
license
BSD-2-Clause
bugs tracker
https://github.com/gstew5/games/issues
dependencies
"coq" {(>= "8.7" & < "8.12~")} "coq-mathcomp-algebra" {(>= "1.9.0" & < "1.11~")}
source
https://github.com/gstew5/games/archive/0.1.0.tar.gz
package
https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-games/coq-games.0.1.0