Awesome

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.