package coq-games
A library for algorithmic game theory in Ssreflect/Coq
Install
Dune Dependency
Authors
Maintainers
Sources
0.1.0.tar.gz
sha512=b0c0524fb72b65187c4331ea2ee98f88f074db4d133ab2371be630a1d98944e340b3c3b30a23d4674d8e9772f5da8e0ebd31f5b76515f159279b1cbb58990297
Description
Tags
category:Mathematics/Combinatorics and Graph Theory keyword:game theory logpath:GamesPublished: 29 Feb 2020
Dependencies (2)
-
coq-mathcomp-algebra
(>= "1.9.0" & < "1.11~") -
coq
(>= "8.7" & < "8.12~")
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page