package coq-games

  1. Overview
  2. No Docs
A library for algorithmic game theory in Ssreflect/Coq

Install

Dune Dependency

Edit opam file Versions (1)

Authors

  1. A
    Alexander Bagnall
  2. S
    Samuel Merten
  3. G
    Gordon Stewart

Maintainers

  1. G
    Gordon Stewart <gstew5@gmail.com>

Sources

0.1.0.tar.gz
sha512=b0c0524fb72b65187c4331ea2ee98f88f074db4d133ab2371be630a1d98944e340b3c3b30a23d4674d8e9772f5da8e0ebd31f5b76515f159279b1cbb58990297

Description

Tags

category:Mathematics/Combinatorics and Graph Theory keyword:game theory logpath:Games

Published: 29 Feb 2020

Dependencies (2)

  1. coq-mathcomp-algebra (>= "1.9.0" & < "1.11~")
  2. coq (>= "8.7" & < "8.12~")

Dev Dependencies

None

Used by

None

Conflicts

None