A Library for Algorithmic Game Theory in Ssreflect/Coq

February 10, 2020 ยท View on GitHub

Build Status

A Library for Algorithmic Game Theory in Ssreflect/Coq

Prerequisites

  • coq >= 8.7
  • coq-mathcomp-algebra >= 1.9.0

Build

Just type

make && make install

in the top-level project directory.